Logical aspects of computational linguistics
: second international conference ; selected papers / LACL '97, Nancy, France, September 22 - 24, 1997. A. Lecomte ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 1582 : Lecture notes in artificial intelligence)
ISBN 978-3-540-48975-7
Lizenzpflichtig
Quelle: DNB
Logical aspects of computational linguistics
: third international conference ; selected papers / LACL '98, Grenoble, France, December 14 - 16, 1998. M. Moortgat (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2014 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45738-1
Lizenzpflichtig
Quelle: DNB
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 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 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
Logic based program synthesis and transformation
: 11th international workshop ; selected papers / LOPSTR 2001, Paphos, Cyprus, November 28 - 30, 2001. A. Pettorossi (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2372)
ISBN 978-3-540-45607-0
Lizenzpflichtig
Quelle: DNB
