Format:
IX, 172 S.
,
graph. Darst.
ISBN:
0198539894
Series Statement:
The international series of monographs on computer science 10
Note:
Teilw. zugl.: Karlsruhe, Univ., Diss., 1991
Language:
English
Subjects:
Mathematics
Keywords:
Temporale Logik
;
Automatisches Beweisverfahren
;
Mehrwertige Logik
;
Automatisches Beweisverfahren
;
Hochschulschrift
;
Hochschulschrift
URL:
http://www.loc.gov/catdir/enhancements/fy0638/93033539-d.html
URL:
http://www.loc.gov/catdir/enhancements/fy0638/93033539-t.html
Author information:
Hähnle, Reiner
Bookmarklink