Tools

LEADER 01348cam a2200361 4500

001 ocm00658102;

005 20141212080706.0;

008 730612s1973 nyua b 001 0 eng ;

010 a| 72088358;

035 a| (Sirsi) o00658102;

035 a| (OCoLC)658102;

040 a| DLCc| DLCd| m.c.d| EREd| m.c.d| UtOrBLW;

049 a| EREE;

050 00 a| QA9b| .C483;

082 0 a| 511/.3;

100 1 a| Chang, Chin-Liang,d| 1937-=| ^A196019;

245 10 a| Symbolic logic and mechanical theorem proving /c| [by] Chin-liang Chang [and] Richard Char-Tung Lee.;

260 a| New York :b| Academic Press,c| [1973];

300 a| xiii, 331 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Computer science and applied mathematics;

504 a| Bibliography: p. 309-324.;

650 0 a| Logic, Symbolic and mathematical.=| ^A15706;

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

650 0 a| Artificial intelligence.=| ^A15394;

700 1 a| Lee, Richard Char-Tung,d| 1939-=| ^A196020;

830 0 a| Computer science and applied mathematics.=| ^A239537;

919 a| BOOK;

596 a| 1;

998 a| 270044;

999 a| QA9 .C483w| LCc| 1i| 30372004016967d| 1/31/2013e| 11/5/2007l| JGESm| JOYNERn| 2q| 1r| Ys| Yt| JGESBKu| 2/7/1989x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

Symbolic logic and mechanical theorem proving / [by] Chin-liang Chang [and] Richard Char-Tung Lee.

Author/creator	Chang, Chin-Liang, 1937-
Other author	Lee, Richard Char-Tung, 1939-
Format	Book
Publication Info	New York : Academic Press, [1973]
Description	xiii, 331 pages : illustrations ; 24 cm.
Subjects	Logic, Symbolic and mathematical. Automatic theorem proving. Artificial intelligence.

Series	Computer science and applied mathematics Computer science and applied mathematics. ^A239537
Bibliography note	Bibliography: p. 309-324.
LCCN	72088358

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA9 .C483	✔ Available	Place Hold

Symbolic logic and mechanical theorem proving / [by] Chin-liang Chang [and] Richard Char-Tung Lee.

Click here for more information about this title

Availability