00853nam a2200277Ia 4500 123132 BIBL 20160527185822.0 910208s1991 enk b 001 0 eng 91009103 GB91-33735 0471927848 40.25 (U.S.) (OCoLC)23178272 DLC DLC UKM PUXA QA76.9.A96 D84 1991 511.3 20 Duffy, David A. Local 89025 Principles of automated theorem proving David A. Duffy. Chichester New York Wiley c1991. xviii, 243 p. 25 cm. Wiley professional computing Local 189091 Includes bibliographical references (p. 225-232) and index. Automatic theorem proving. Local 56210 Mathematical logic 103346 103346 0 0 0 511_300000000000000_D858P 0 evl 96601 10 10 1 2016-05-27 186120 0 511.3 D858p 80000001332405 2016-05-27 00:00:00 r:123132 z:NCC:D 6