Author Results for Loveland, Donald W.,

Loveland,Donald W
American Mathematical Society
Bledsoe,W. W
De Gruyter
Donald W. Loveland
see all »
Special Session on Automatic Theorem Proving,Denver, Colo

1
Three views of logic : mathematics, philosophy, and computer science /

Cover is for reference only
Main Authors: Loveland, Donald W.
Corporate Authors: De Gruyter.
Group Author: Hodel, Richard E.; Sterrett, S. G.
Published: Princeton University Press,
Publication Dates: [2014]
eBook
Save to List
Saved in:
2
Automated theorem proving a logical basis

Cover is for reference only
Main Authors: Loveland Donald W
Published: North-Holland Pub. Co. sole distributor for the U.S.A. and Canada, Elsevier North-Holland,
Publication Dates: 1978.
Call Number: TP11/L898/
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —