Computer Science Logic : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings

Main Author: Gottlob, Georg
Other Authors: Grandjean, Etienne, Seyr, Katrin
Format: eBook
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1999
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Lecture Notes in Computer Science - Collection details see MPG.ReNa
LEADER 01314nmm a2200349 u 4500
001 EB000288182
003 EBX01000000000000000053866
005 00000000000000.0
007 cr|||||||||||||||||||||
008 101003 |||
020 |a 9783540659228 
020 |a 978-3-540-65922-8 
100 1 |a Gottlob, Georg 
245 0 0 |a Computer Science Logic  |h Elektronische Ressource  |b 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings  |c by Georg Gottlob, Etienne Grandjean, Katrin Seyr 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 1999 
300 |b v. digital 
700 1 |a Grandjean, Etienne 
700 1 |a Seyr, Katrin 
989 |b LNCS  |a Lecture Notes in Computer Science 
490 0 |a Lecture Notes in Computer Science 
856 |u http://dx.doi.org/10.1007/10703163?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 004 
650 4 |a Artificial intelligence 
650 4 |a Computer science 
650 4 |a Logic design 
650 4 |a Logic, Symbolic and mathematical 
650 4 |a Computer Science 
650 4 |a Artificial Intelligence (incl. Robotics) 
650 4 |a Logics and Meanings of Programs 
650 4 |a Mathematical Logic and Formal Languages 
650 4 |a Mathematical Logic and Foundations