Format:
XI, 520 S.
,
graph. Darst.
,
235 mm x 155 mm
ISBN:
3540230246
Series Statement:
Lecture notes in computer science 3210
Note:
Literaturangaben
Additional Edition:
Erscheint auch als Online-Ausgabe Marcinkowski, Jerzy Computer Science Logic Berlin, Heidelberg : Springer Berlin Heidelberg, 2004 ISBN 9783540230243
Language:
English
Subjects:
Computer Science
Keywords:
Theoretische Informatik
;
Logik
;
Logische Programmierung
;
Theoretische Informatik
;
Logik
;
Programmierlogik
;
Logische Programmierung
;
Konferenzschrift
URL:
http://www.loc.gov/catdir/enhancements/fy0823/2004111518-d.html
