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
Ligêza, Antoni: Logical foundations for rule based systems
/ Antoni Ligêza. - 2. ed. - Berlin : Springer, 2006. - XX, 309 S. : graph. Darst.; 24 cm - (Studies in computational intelligence; Vol. 11)
ISBN 978-3-540-29117-6 / 3-540-29117-2 Pp. : EUR 139.05 (freier Pr.), sfr 220.00 (freier Pr.)
URL-Verz. S. 289 - 295. - Literaturverz. S. 297 - 305
Quelle: DNB Verlagsmeldungen
Logical foundations of computer science
: international symposium ; proceedings / LFCS 2007, New York, NY, USA, June 4 - 7, 2007. Sergei N. Artemov (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4514)
ISBN 978-3-540-72734-7
Lizenzpflichtig
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 foundations of computer science
- Berlin : Springer, 1992. - IX, 514 S. : graph. Darst. - (Lecture notes in computer science; Vol. 620)
ISBN 978-3-540-55707-4 / 3-540-55707-5 kart. : DM 96.00
Quelle: DNB
Bochman, Alexander: A logical theory of nonmonotonic inference and belief change
/ Alexander Bochman. - Berlin : Springer, 2001. - XII, 434 S.; 24 cm - (Artificial intelligence)
ISBN 978-3-540-41766-8 / 3-540-41766-4 Pp. : DM 98.00
Literaturverz. S. 425 - 430
Quelle: DNB
Logic and algebra of specification
: [proceedings of the Nato Advanced Study Institute on Logic and Algebra on Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991] / ed. by Friedrich Ludwig Bauer ... Publ. in cooperation with Nato Scientific Affairs Division. - Berlin : Springer, 1993. - 442 S. : graph. Darst.; 25 cm - (NATO ASI series : Series F, Computer and systems sciences; Vol. 94)
ISBN 978-3-540-55813-2 / 3-540-55813-6 Pp. : DM 148.00
Literaturangaben
Quelle: DNB
