11 records matched your query
01004nam a2200301 a 4500 001 43F8B9A42AC911DEB7B0B404A8D7520A 005 200904161557.0 008 941026s1992 xxka b 001 0 eng d 010 $a 94223492 020 $a 9780748603589 020 $a 0748603581 035 $a (OCoLC)27380063 035 $a (OCoLC)26940686 040 $a Uk $c DLC $d SILO $d SILO 050 04 $a QA76.9.A96 $b T45 1992 100 1 $a Tennant, Neil. 245 1 $a Autologic / $c Neil Tennant. 260 $a Edinburgh : $b Edinburgh University Press, $c c1992. 300 $a xiii, 239 p. : $b ill. ; $c 23 cm. 490 1 $a Edits ; $v 9 504 $a Includes bibliographical references (p. 227-231) and index. 650 0 $a Automatic theorem proving. 650 0 $a Logic, Symbolic and mathematical 830 0 $a Edinburgh information technology series ; $v 9. 939 $a 270467 941 $a 1 952 $l USUX851 $d 20160817055939.0 956 $a http://locator.silo.lib.ia.us/search.cgi?index_0=id&term_0=43F8B9A42AC911DEB7B0B404A8D7520AInitiate Another SILO Locator Search