000059785 000__ 01002cam\a2200313W\\4500
000059785 001__ 59785
000059785 005__ 20210513021954.0
000059785 008__ 730612s1973\\\\nyua\\\\\b\\\\00110\eng\\
000059785 010__ $$a72-088358
000059785 035__ $$a(OCoLC)ocm00658102
000059785 035__ $$a00064674
000059785 035__ $$9AAG1403SI
000059785 035__ $$a59785
000059785 040__ $$aDLC$$cDLC$$dISE
000059785 049__ $$aISEA
000059785 0500_ $$aQA9$$b.C49
000059785 082__ $$a511/.3
000059785 099__ $$aQA9 .C49
000059785 1001_ $$aChang, Chin-Liang,$$d1937-
000059785 24510 $$aSymbolic logic and mechanical theorem proving$$c[by] Chin-liang Chang [and] Richard Char-tung Lee.
000059785 260__ $$aNew York,$$bAcademic Press$$c[1973]
000059785 300__ $$axiii, 331 p.$$billus.$$c24 cm.
000059785 440_0 $$aComputer science and applied mathematics
000059785 504__ $$aBibliography: p. 309-324.
000059785 650_0 $$aLogic, Symbolic and mathematical.
000059785 650_0 $$aAutomatic theorem proving.
000059785 650_0 $$aArtificial intelligence.
000059785 7001_ $$aLee, Richard Char-Tung,$$d1939-$$ejoint author.
000059785 85200 $$bgen$$hQA9 .C49
000059785 909CO $$ooai:library.usi.edu:59785$$pGLOBAL_SET
000059785 966__ $$c 1$$lUSIGEN$$mBKGEN$$sQA9 .C49$$xISEA$$z050$$b39203008510518
000059785 980__ $$aBIB
000059785 980__ $$aBOOK