Format:
444 S.
,
graph. Darst.
ISBN:
3540645896
Series Statement:
Nato ASI series : Series F, Computer and systems sciences 165
Language:
English
Subjects:
Computer Science
,
Mathematics
Keywords:
Computational logic
;
Konferenzschrift
;
Konferenzschrift
URL:
http://www.loc.gov/catdir/enhancements/fy0816/99013850-d.html
Author information:
Berger, Ulrich 1956-