First-Order Logic and Automated Theorem Proving
Melvin Fittingหมวดหมู่:
ปี:
1996
ฉบับพิมพ์ครั้งที่:
2nd
สำนักพิมพ์:
Springer
ภาษา:
english
จำนวนหน้า:
338
ISBN 10:
1461275156
ISBN 13:
9781461275152
ซีรีส์:
Graduate Texts in Computer Science
ไฟล์:
DJVU, 2.14 MB
IPFS:
,
english, 1996