Suchfeld einblenden
Person Gottlob, Georg
2 Treffer
Seite < 1 >
Computational logic and proof theory
: proceedings / Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24 - 27, 1993. Georg Gotttlob ... (ed.). - Berlin : Springer, 1993. - XI, 348 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 713)
ISBN 978-3-540-57184-1 / 3-540-57184-1 kart. : DM 72.00
Literaturangaben
Quelle: DNB
Database theory
: 5th international conference ; proceedings / ICDT '95, Prague, Czech Republic, January 11 - 13, 1995. Georg Gottlob ; Moshe Y. Vardi (ed.). - Berlin : Springer, 1995. - XI, 454 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 893)
ISBN 978-3-540-58907-5 / 3-540-58907-4 kart. : DM 94.00
Literaturangaben
Quelle: DNB
Seite < 1 >
