Hinweis
Dieser Eintrag wurde automatisch aus einem Altsystem migriert. Die Daten wurden nicht überprüft und entsprechen eventuell nicht den Qualitätskriterien des vorliegenden Systems.
Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/85096
-
Titel: 
CERES in higher-order-logic
-
Zitat: 
Hetzl, S., Leitsch, A., & Weller, D. (2010). CERES in higher-order-logic. Workshop on Classical Logic and Computation (CL&C’10), Brünn, EU. http://hdl.handle.net/20.500.12708/85096
-
Publikationstyp: 
Präsentation - Konferenz Präsentation
de
Autor_innen: 
Hetzl, Stefan 
Leitsch, Alexander 
Weller, Daniel 
-
Organisations­einheit: 
E192-05 - Forschungsbereich Theory and Logic 
-
Datum (veröffentlicht): 
2010
-
Veranstaltungs­name: 
Workshop on Classical Logic and Computation (CL&C'10) 
-
Veranstaltungs­zeitraum: 
22-Aug-2010
-
Veranstaltungs­ort: 
Brünn, EU
-
Wissenschafts­zweig: 
Mathematik, Informatik
-
Enthalten in den Sammlungen:
Presentation

Zur Langanzeige

Seiten Aufrufe

93
aufgerufen am 23.11.2023

Google ScholarTM

Check