The Locator -- [(author = "Tennant Neil")]

11 records matched your query       

Record 8 | Previous Record | Long Display | Next Record 
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=43F8B9A42AC911DEB7B0B404A8D7520A
Initiate Another SILO Locator Search

This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.