Format:
XIII, 331 S
,
graph. Darst.
Edition:
3. [print.]
ISBN:
0121703509
Series Statement:
Computer science classics
Note:
〈1〉 [Publisher description] =A http://www.loc.gov/catdir/description/els032/87001443.html
Language:
English
Subjects:
Computer Science
,
Mathematics
Keywords:
Mathematische Logik
;
Automatisches Beweisverfahren