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
Logic and computational complexity
: selected papers / International Workshop LCC '94, Indianapolis, IN, USA, October 13 - 16, 1994. Daniel Leivant (ed.). - Berlin : Springer, 1995. - VIII, 514 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 960)
ISBN 978-3-540-60178-4 / 3-540-60178-3 kart. : DM 102.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 and theory of algorithms
: proceedings / 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15 - 20, 2008. Arnold Beckmann ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5028)
ISBN 978-3-540-69407-6
Lizenzpflichtig
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
Logic based program synthesis and transformation
: 10th international workshop ; selected papers / LOPSTR 2000, London, UK, July 24 - 28, 2000. K.-K. Lau (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2042)
ISBN 978-3-540-45142-6
Lizenzpflichtig
Quelle: DNB
Logic based program synthesis and transformation
: 8th international workshop ; selected papers / LOPSTR '98, Manchester, UK, June 1998. P. Flener (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1559)
ISBN 978-3-540-48958-0
Lizenzpflichtig
Quelle: DNB
