Logical aspects of computational linguistics
: 4th international conference ; proceedings / LACL 2001, Le Croisic, France, June 27 - 29, 2001. P. de Groote ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2099 : Lecture notes in artificial intelligence)
ISBN 978-3-540-48199-7
Lizenzpflichtig
Quelle: DNB
Logical aspects of computational linguistics
: first international conference ; selected papers / LACL '96, Nancy, France, April 23 - 25, 1996. Christian Retoré (ed.). - Berlin : Springer, 1997. - VIII, 434 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1328 : Lecture notes in artificial intelligence)
ISBN 978-3-540-63700-4 / 3-540-63700-1 kart. : DM 90.00
Literaturangaben
Quelle: DNB
Logical foundations for cognitive agents
: contributions in honor of Ray Reiter / Hector J. Levesque ; Fiora Pirri (ed.). - Berlin : Springer, 1999. - XI, 405 S. : Ill., graph. Darst.; 25 cm - (Artificial intelligence)
ISBN 978-3-540-66012-5 / 3-540-66012-7 Pp. : DM 98.00
Literaturangaben
Quelle: DNB
Logical foundations of computer science
: third international symposium ; proceedings / LFCS '94, St. Petersburg, Russia, July 11 - 14, 1994. A. Nerode ; Yu. V. Matiyasevich (ed.). - Berlin : Springer, 1994. - IX, 392 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 813)
ISBN 978-3-540-58140-6 / 3-540-58140-5 kart. : DM 80.00
Literaturangaben
Quelle: DNB
Logical foundations of computer science
: 4th international symposium ; proceedings / LFCS '97, Yaroslavl, Russia, July 6 - 12, 1997. Sergei Adian ; Anil Nerode (ed.). - Berlin : Springer, 1997. - IX, 429 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1234)
ISBN 978-3-540-63045-6 / 3-540-63045-7 kart. : DM 90.00
Literaturangaben
Quelle: DNB
Logical methods
: in honor of Anil Nerode's sixtieth birthday / John N. Crossley ... ed.. - Boston : Birkhäuser, 1993. - 813 S.; 24 cm - (Progress in computer science and applied logic; Vol. 12)
ISBN 978-3-7643-3690-5 / 3-7643-3690-0 Pp. : sfr 188.00
Literaturangaben
Quelle: DNB
Logic and its applications
: third Indian conference ; proceedings / ICLA 2009, Chennai, India, January 7 - 11, 2009. R. Ramanujam ... (ed.). - Berlin : Springer, 2009. - Online-Ressource - (Lecture notes in computer science; 5378 : Lecture notes in artificial intelligence)
ISBN 978-3-540-92701-3
Lizenzpflichtig
Quelle: DNB
Dalen, Dirk van: Logic and structure
/ Dirk van Dalen. - 3., augm. ed. - Berlin : Springer, 1994. - VIII, 215 S. : graph. Darst.; 24 cm - (Universitext)
ISBN 978-3-540-57839-0 / 3-540-57839-0 kart. : DM 48.00
Quelle: DNB
Logic at work
: essays dedicated to the memory of Helena Rasiowa ; with 3 tables / Ewa Orlowska (ed.). - Heidelberg : Physica-Verl., 1998. - XVI, 694 S.; 24 cm - (Studies in fuzziness and soft computing; Vol. 24)
ISBN 978-3-7908-1164-3 / 3-7908-1164-5 Pp. : DM 228.00
Literaturangaben
Quelle: DNB
Logic Colloquium '95
: proceedings of the annual European summer meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9 - 18, 1995 / Johann A. Makowsky ; Elena V. Ravve (ed,). - Berlin : Springer, 1998. - XVI, 348 S. : graph. Darst.; 24 cm - (Lecture notes in logic; 11)
ISBN 978-3-540-63994-7 / 3-540-63994-2 kart. : DM 128.00
Literaturangaben
Quelle: DNB
