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!

Keine Ergebnisse!