Logik in der Informatik. 3. Jahrestagung der GI-Fachgruppe 0.1.6
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
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
| 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 |