Computational logic and proof theory : third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24 - 27, 1993 ; proceedings

Computational logic and proof theory third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24 - 27, 1993 ; proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: Kurt Gödel Colloquium (BerichterstatterIn)
Weitere Verfasser: Gottlob, Georg (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin u.a. Springer 1993
Schriftenreihe:Lecture notes in computer science 713
Schlagworte:
Automatic theorem proving -- Congresses > Logic, Symbolic and mathematical -- Congresses > Mathematische Logik > Computational logic > Logische Programmierung > Beweistheorie > Konferenzschrift
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:XI, 348 S.
graph. Darst.
ISBN:3540571841
3-540-57184-1
0387571841
0-387-57184-1