Applications of declarative programming and knowledge management

: revised selected papers / 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004 and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4 - 6, 2004, Dietmar Seipel ... (ed.). - Berlin : Springer, 2005. - X, 308 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3392 : Lecture notes in artificial intelligence)

ISBN 978-3-540-25560-4 / 3-540-25560-5 kart. : EUR 51.36 (freier Pr.), sfr 85.00 (freier Pr.)

Literaturangaben

Quelle: DNB Verlagsmeldungen

Graham, Thomas C. Nicholas: Declarative development of interactive systems

/ T. C. Nicholas Graham. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1995. - XII, 181 S. : graph. Darst. - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung; Nr. 243)

ISBN 978-3-486-23430-5 / 3-486-23430-7 kart. : ca. DM 56.00

Quelle: DNB

Declarative programming for knowledge management

: revised selected papers / 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22 - 24, 2005. Masanobu Umeda ...(ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4369 : Lecture notes in artificial intelligence)

ISBN 978-3-540-69234-8

Lizenzpflichtig

Quelle: DNB

Prehofer, Christian: Solving higher order equations

: from logic to programming / Christian Prehofer. - Boston : Birkhäuser, 1998. - VII, 186 S.; 24 cm - (Progress in theoretical computer science)

ISBN 978-3-7643-4032-2 / 3-7643-4032-0 Kunststoff : sfr 118.00

Quelle: DNB

Typed lambda calculi and applications

: 4th international conference ; proceedings / TLCA '99, L'Aquila, Italy, April 1999. Jean-Yves Girard (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1581)

ISBN 978-3-540-48959-7

Lizenzpflichtig

Quelle: DNB