Format:
VIII, 344 S.
,
graph. Darst.
ISBN:
3540617353
Series Statement:
Lecture notes in computer science 1139
Language:
English
Subjects:
Computer Science
Keywords:
Logische Programmierung
;
Programmierung
;
Algebraische Spezifikation
;
Termersetzungssystem
;
Konferenzschrift
;
Kongress
;
Konferenzschrift
;
Konferenzschrift
URL:
http://www.loc.gov/catdir/enhancements/fy0815/96041750-d.html
Author information:
Hanus, Michael 1959-