First-Order Logic and Automated Theorem Proving
Melvin FittingKategori:
Tahun:
1996
Edisi:
2nd
Penerbit:
Springer
Bahasa:
english
Halaman:
338
ISBN 10:
1461275156
ISBN 13:
9781461275152
Nama seri:
Graduate Texts in Computer Science
File:
DJVU, 2.14 MB
IPFS:
,
english, 1996