Logic, language, and computation
: revised selected papers / 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12 - 16, 2005. Balder D. ten Cate ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4363 : Lecture notes in artificial intelligence)
ISBN 978-3-540-75144-1
Lizenzpflichtig
Quelle: DNB
Logic, language information and computation
: 14th international workshop ; proceedings / WoLLIC 2007, Rio de Janeiro, Brazil, July 2 - 5, 2007. Daniel Leivant ; Ruy de Queiroz (ed.). - Berlin : Springer, 2007. - X, 361 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4576)
ISBN 978-3-540-73443-7 / 3-540-73443-0 kart. : EUR 55.64 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Logic, language, information and computation
: 15th international workshop ; proceedings / WoLLIC 2008, Edinburgh, UK, July 1 - 4, 2008. Wilfrid Hodges ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5110 : Lecture notes in artificial intelligence)
ISBN 978-3-540-69937-8
Lizenzpflichtig
Quelle: DNB
Logic, language, information and computation
: 14th international workshop ; proceedings / WoLLIC 2007, Rio de Janeiro, Brazil, July 2 - 5, 2007. Daniel Leivant ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4576)
ISBN 978-3-540-73445-1
Lizenzpflichtig
Quelle: DNB
Wansing, Heinrich: The logic of information structures
/ Heinrich Wansing. - Berlin : Springer, 1993. - IX, 163 S.; 24 cm - (Lecture notes in computer science; 681 : Lecture notes in artificial intelligence)
ISBN 978-3-540-56734-9 / 3-540-56734-8 kart. : DM 46.00
Literaturverz. S. 149 - 155
Quelle: DNB
Logics in artificial intelligence
: 8th European conference ; proceedings / JELIA 2002, Cosenza, Italy, September 23 - 26, 2002. S. Flesca ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2424 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45757-2
Quelle: DNB
Logics in artificial intelligence
: 11th European conference ; proceedings / JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Steffen Hölldobler ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5293 : Lecture notes in artificial intelligence)
ISBN 978-3-540-87803-2
Lizenzpflichtig
Quelle: DNB
Logics in artificial intelligence
: 10th European conference ; proceedings / JELIA 2006, Liverpool, UK, September 13 - 15, 2006. Michael Fisher ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4160 : Lecture notes in artificial intelligence)
ISBN 978-3-540-39627-7
Quelle: DNB
Logics of specification languages
/ Dines Bjørner ; Martin C. Henson ed.. - Berlin : Springer, 2008. - XXI, 623 S. : graph. Darst.; 24 cm - (Monographs in theoretical computer science)
ISBN 978-3-540-74106-0 / 3-540-74106-2 Pp. : EUR 96.25 (freier Pr.), sfr 157.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Albertus: Logik
: Lateinisch-Deutsch / Albert von Sachsen. Übers., mit einer Einl. und Anm. hrsg. von Harald Berger. - Hamburg : Meiner, 2010. - CXV, 1363 S.; 20 cm - (Philosophische Bibliothek; Bd. 611)
ISBN 978-3-7873-1958-9 Gewebe : EUR 198.00, sfr 328.70 (freier Pr.)
Quelle: DNB Verlagsmeldungen
