KIT | KIT-Bibliothek | Impressum | Datenschutz

Logik in der Informatik. 3. Jahrestagung der GI-Fachgruppe 0.1.6

Schmitt, Peter H. [Hrsg.]

Abstract:
In diesem Internen Bericht der Fakultaet fuer Informatik der
Universitaet Karlsruhe sind die Zusammenfassungen der Vortraege
enthalten, die auf der dritten Arbeitstagung der GI-Fachgruppe
0.1.6 "Logik in der Informatik" gehalten wurden. Nach dem
konstituierenden Treffen der Fachgruppe 1993 in Leipzig, dem
Treffen 1994 in Paderborn fand 1995 die Arbeitstagung vom 31.5.
bis 2.6. in Karlsruhe statt.
pdf-conversion


Volltext §
DOI: 10.5445/IR/32695
Cover der Publikation
Zugehörige Institution(en) am KIT Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Proceedingsband
Publikationsjahr 1995
Sprache Deutsch
Identifikator ISSN: 1432-7864
urn:nbn:de:swb:90-AAA326951
KITopen-ID: 32695
Verlag Universität Karlsruhe (TH)
Serie Interner Bericht. Fakultät für Informatik, Universität Karlsruhe ; 1995,23
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page