Umfang:
XII, 590 S.
ISBN:
3-540-40801-0
Serie:
Lecture notes in computer science 2803
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Theoretische Informatik
;
Logik
;
Programmierlogik
;
Logische Programmierung
;
Konferenzschrift
;
Konferenzschrift
;
Konferenzschrift
URL:
http://www.loc.gov/catdir/enhancements/fy0813/2003059118-d.html
Mehr zum Autor:
Baaz, Matthias, 1960-