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 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
Logic based program synthesis and transformation
: 16th International Symposium ; revised selected papers / LOPSTR 2006, Venice, Italy, July 12-14, 2006. Germán Puebla (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4407)
ISBN 978-3-540-71410-1
Lizenzpflichtig
Quelle: DNB
Logic based program synthesis and transformation
: 15th international symposium ; revised selected papers / LOPSTR 2005, London, UK, September 7 - 9, 2005. Patricia M. Hill (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 3901)
ISBN 978-3-540-32656-4
Lizenzpflichtig
Quelle: DNB
Logic based program synthesis and transformation
: 14th international symposium ; revised selected papers / LOPSTR 2004, Verona, Italy, August 26 - 28, 2004. Sandro Etalle (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3573)
ISBN 978-3-540-31683-1
Lizenzpflichtig
Quelle: DNB
Logic based program synthesis and transformation
: 17th international symposium ; revised selected papers / LOPSTR 2007, Kongens Lyngby, Denmark, August 23 - 24, 2007. Andy King (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4915)
ISBN 978-3-540-78769-3
Lizenzpflichtig
Quelle: DNB