Tools

LEADER 01324cam 2200349 i 4500

001 ocm02597406;

005 20141211200015.0;

008 761103s1978 ne a b 001 0 eng ;

010 a| 76054345;

020 a| 0720404991;

035 a| (Sirsi) o02597406;

035 a| (OCoLC)2597406;

049 a| ERE*;

050 00 a| QA76.9.A96b| L68;

082 0 a| 001.53/5;

100 1 a| Loveland, Donald W.=| ^A88006;

245 10 a| Automated theorem proving :b| a logical basis /c| Donald W. Loveland.;

300 a| xii, 405 pages :b| illustrations ;c| 23 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Fundamental studies in computer science ;v| v. 2;

500 a| Includes index.;

504 a| Bibliography: p. [395]-399.;

650 0 a| Automatic theorem proving.=| ^A88007;

830 0 a| Fundamental studies in computer science ;v| v. 2.=| ^A1198063;

919 a| BOOK;

596 a| 1;

998 a| 109631;

999 a| QA76.9.A96 L68w| LCc| 1i| 310372001309447d| 3/6/2013f| 3/6/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 4/27/1986x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

Automated theorem proving : a logical basis / Donald W. Loveland.

Author/creator	Loveland, Donald W.
Format	Book
Publication Info	Amsterdam ; New York : North-Holland Pub. Co. ; New York : Sole distributor for the U.S.A. and Canada, Elsevier North-Holland, 1978.
Description	xii, 405 pages : illustrations ; 23 cm.
Subjects	Automatic theorem proving.

Series	Fundamental studies in computer science ; v. 2 Fundamental studies in computer science ; v. 2. ^A1198063
General note	Includes index.
Bibliography note	Bibliography: p. [395]-399.
LCCN	76054345
ISBN	0720404991

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.A96 L68	✔ Available	Place Hold

Automated theorem proving : a logical basis / Donald W. Loveland.

Click here for more information about this title

Availability