519.4 / B695c
Boyer, Robert S.
A COMPUTATIONAL LOGIC / .- New York: Academic Press, 1979 .- xiv,397 .
Bibliographies : P. 385-387
Subject Headings:
Automatic Theorem Proving;
Author Added Entry:
Moore, J. Strother;
Copy Details:
Acc. No.: A66666, Full Call No.: 519.4 B695c, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Boyer, Robert S.
A COMPUTATIONAL LOGIC / .- New York: Academic Press, 1979 .- xiv,397 .
Bibliographies : P. 385-387
Subject Headings:
Automatic Theorem Proving;
Author Added Entry:
Moore, J. Strother;
Copy Details:
Acc. No.: A66666, Full Call No.: 519.4 B695c, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------