Bradley, Aaron R.: The calculus of computation
: decision procedures with applications to verification / Aaron R. Bradley ; Zohar Manna. - Berlin : Springer, 2007. - XV, 365 S. : graph. Darst.; 24 cm
ISBN 978-3-540-74112-1 / 3-540-74112-7 Pp. : EUR 37.40, ca. sfr 61.00
Quelle: DNB Verlagsmeldungen
Computational logic
: [proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29 - August 10, 1997] / ed. by Ulrich Berger ; Helmut Schwichtenberg. Publ. in cooperation with NATO Scientific Affairs Division. - Berlin : Springer, 1999. - 444 S. : graph. Darst.; 24 cm - (NATO ASI series : Series F, Computer and systems sciences; Vol. 165)
ISBN 978-3-540-64589-4 / 3-540-64589-6 Pp. : DM 179.00
Literaturangaben
Quelle: DNB
Computational logic
: first international conference ; proceedings / CL 2000, London, UK, July 24 - 28, 2000. John Lloyd ... (ed.). - Berlin : Springer, 2000. - XIX, 1379 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1861 : Lecture notes in artificial intelligence)
ISBN 978-3-540-67797-0 / 3-540-67797-6 kart. : DM 208.00
Literaturangaben
Quelle: DNB
Computational logic
: first international conference ; proceedings / CL 2000, London, UK, July 2000. J. Lloyd ... (ed.). - Berlin : Springer, 2000. - Online-Ressource - (Lecture notes in computer science; 1861 : Lecture notes in artificial intelligence)
ISBN 978-3-540-44957-7
Lizenzpflichtig
Quelle: DNB
Computational logic in multi-agent systems
: 8th international workshop ; revised selected and invited papers / CLIMA VIII, Porto, Portugal, September 10 - 11, 2007. Fariba Sadri ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5056 : Lecture notes in artificial intelligence)
ISBN 978-3-540-88833-8
Lizenzpflichtig
Quelle: DNB
Computational logic in multi-agent systems
: 7th international workshop ; revised selected and invited papers / CLIMA VII, Hakodate, Japan, May 8 - 9, 2006. Katsumi Inoue ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4371 : Lecture notes in artificial intelligence)
ISBN 978-3-540-69619-3
Lizenzpflichtig
Quelle: DNB
Computational logic in multi-agent systems
: 6th international workshop ; revised selected and invited papers / CLIMA VI, London, UK, June 27 - 29, 2005. Francesca Toni ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3900 : Lecture notes in artificial intelligence)
ISBN 978-3-540-33997-7
Lizenzpflichtig
Quelle: DNB
Computational logic in multi-agent systems
: 5th international workshop ; revised selected and invited papers / CLIMA V, Lisbon, Portugal, September 29 - 30, 2004. João Leite ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3487 : Lecture notes in artificial intelligence)
ISBN 978-3-540-31857-6
Lizenzpflichtig
Quelle: DNB
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