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

Types for proofs and programs

: international workshop, types 2006, Nottingham, UK, April 18 - 21, 2006 ; revised selected papers / Thorsten Altenkirch ; Conor McBride (ed.). - Berlin : Springer, 2007. - VIII, 268 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4502)

ISBN 978-3-540-74463-4 / 3-540-74463-0 kart. : EUR 48.15 (freier Pr.), ca. sfr 78.50 (freier Pr.)

Literaturangaben

Quelle: DNB Verlagsmeldungen

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