Computer science logic
: 22nd international workshop ; proceedings / CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16 - 19, 2008. Michael Kaminski ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5213)
ISBN 978-3-540-87531-4
Lizenzpflichtig
Quelle: DNB
Computer science logic
: 21st international workshop ; proceedings / CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11 - 15, 2007. Jacques Duparc ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4646)
ISBN 978-3-540-74915-8
Lizenzpflichtig
Quelle: DNB
Computer science logic
: 20th international workshop ; proceedings / CSL 2006, Szeged, Hungary, September 25 - 29, 2006. Zoltán Ésik (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Annual conference of the EACSL ...; 15)
ISBN 978-3-540-45459-5
Lizenzpflichtig
Quelle: DNB
Computer science logic
: 19th international workshop ; proceedings / CSL 2005, Oxford, UK, August 22 - 25, 2005. Luke Ong (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Annual conference of the EACSL ...; 14)
ISBN 978-3-540-31897-2
Lizenzpflichtig
Quelle: DNB
Declarative agent languages and technologies III
: third International Workshop ; selected and revised papers / DALT 2005, Utrecht, The Netherlands, July 25, 2005. Matteo Baldoni ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3904 : Lecture notes in artificial intelligence)
ISBN 978-3-540-33107-0
Lizenzpflichtig
Quelle: DNB
Declarative agent languages and technologies IV
: 4th international workshop ; selected, revised and invited papers / DALT 2006, Hakodate, Japan, May 8, 2006. Matteo Baldoni ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4327 : Lecture notes in artificial intelligence)
ISBN 978-3-540-68961-4
Lizenzpflichtig
Quelle: DNB
Declarative agent languages and technologies VI
: 6th international workshop ; revised selected and invited papers / DALT 2008, Estoril, Portugal, May 12, 2008. Matteo Baldoni ... (ed.). - Heidelberg : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5397 : Lecture notes in artificial intelligence)
ISBN 978-3-540-93920-7
Lizenzpflichtig
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
Extensions of logic programming
: 5th international workshop ; proceedings / ELP '96, Leipzig, Germany, March 28 - 30, 1996. Roy Dyckhoff ... (ed.). - Berlin : Springer, 1996. - VIII, 318 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1050 : Lecture notes in artificial intelligence)
ISBN 978-3-540-60983-4 / 3-540-60983-0 kart. : DM 70.00
Literaturangaben
Quelle: DNB
Nienhuys-Cheng, Shan-hwei: Foundations of inductive logic programming
/ Shan-Hwei Nienhuys-Cheng ; Ronald de Wolf. - Berlin : Springer, 1997. - XVII, 404 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1228 : Lecture notes in artificial intelligence)
ISBN 978-3-540-62927-6 / 3-540-62927-0 kart. : DM 68.00
Literaturverz. S. 369 - 390
Quelle: DNB