Transactions and change in logic databases
: invited surveys and selected papers / B. Freitag ... (ed.). - Berlin : Springer, 1998. - Online-Ressource - (Lecture notes in computer science; 1472)
ISBN 978-3-540-49449-2
Lizenzpflichtig
Quelle: DNB
Transactions and change in logic databases
: invited surveys and selected papers / International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23 - 27, 1996 ... Burkhard Freitag ... (ed.). - Berlin : Springer, 1998. - X, 396 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1472)
ISBN 978-3-540-65305-9 / 3-540-65305-8 kart. : DM 90.00
Literaturangaben
Quelle: DNB
Types for proofs and programs
: international workshop ; types '98, Kloster Irsee, Germany, March 1998 ; selected papers / T. Altenkirch ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1657)
ISBN 978-3-540-48167-6
Lizenzpflichtig
Quelle: DNB
Haun, Matthias: Wissensbasierte Systeme
: eine praxisorientierte Einführung ; mit CD-ROM / Matthias Haun. - Renningen-Malmsheim : expert-Verl., 2000. - 285 S.; 23 cm - (Edition expertsoft; Bd. 36)
ISBN 978-3-8169-1677-2 / 3-8169-1677-5 kart : DM 98.00, EUR 50.11, sfr 89.50, S 715.00
Quelle: DNB
