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