A computational logic
Robert S. Boyer, J.Strother Moore
Boyer R.S., Moore J.S. A computational logic (AP, 1979)(ISBN 0121229505)(440s).pdf-new
Thể loại:
Năm:
1979
Nhà xuát bản:
Academic Press
Ngôn ngữ:
english
Trang:
440
ISBN 10:
0121229505
ISBN 13:
9780121229504
Loạt:
ACM monograph series
File:
DJVU, 858 KB
IPFS:
,
english, 1979