Logic for programming, artificial intelligence, and reasoning
: 15th international conference ; proceedings / LPAR 2008, Doha, Qatar, November 22 - 27, 2008. Iliano Cervesato ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5330 : Lecture notes in artificial intelligence)
ISBN 978-3-540-89439-1
Lizenzpflichtig
Quelle: DNB
Logic for programming, artificial intelligence, and reasoning
: 11th international conference ; proceedings / LPAR 2004, Montevideo, Uruguay, March 14 - 18, 2005. Franz Baader ; Andrei Voronkov (ed.). - Berlin : Springer, 2005. - XI, 562 S.; 24 cm - (Lecture notes in computer science; Vol. 3452 : Lecture notes in artificial intelligence)
ISBN 978-3-540-25236-8 / 3-540-25236-3 kart. : EUR 72.76 (freier Pr.), sfr 120.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Logic, language and computation
: Festschrift in honor of Satoru Takasu / Neil D. Jones ... (ed.). - Berlin : Springer, 1994. - VIII, 269 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 792)
ISBN 978-3-540-57935-9 / 3-540-57935-4 kart. : DM 58.00
Quelle: DNB
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 ; Henk W. Zeevat (ed.). - Berlin : Springer, 2007. - XII, 280 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4363 : Lecture notes in artificial intelligence)
ISBN 978-3-540-75143-4 / 3-540-75143-2 kart. : EUR 48.15 (freier Pr.), sfr 78.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
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
Nait Abdallah, Areski: The logic of partial information
/ Areski Nait Abdallah. - Berlin : Springer, 1995. - XXV, 715 S.; 24 cm - (Monographs in theoretical computer science)
ISBN 978-3-540-56583-3 / 3-540-56583-3 Pp. : DM 148.00
Literaturverz. S. 707 - 711
Quelle: DNB
