| Record ID | ia:theoremprovingwi965plai |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/theoremprovingwi965plai/theoremprovingwi965plai_marc.xml |
| Download MARC binary | https://www.archive.org/download/theoremprovingwi965plai/theoremprovingwi965plai_meta.mrc |
LEADER: 00855cam 2200205 i 4500
001 841650
005 20060929025903.0
008 790907s1979 ilu s00010 eng d
035 $a(OCoLC)ocm05349863
035 $9ADL-6094
040 $aSPI$cSPI$dm.c.$dUIU
100 10 $aPlaisted, David A.
245 10 $aTheorem proving with abstraction, part II /$cDavid A. Plaisted.
260 0 $aUrbana :$bDept. of Computer Science, University of Illinois at Champaign-Urbana,$c1979.
300 $a46 p. ;$c28 cm.
440 0 $aReport (University of Illinois at Urbana-Champaign. Dept. of Computer Science)$vno. 965
500 $a"UILU-ENG 79 1711."
500 $aSupported in part by the National Science Foundation under grant MCS 77-22830.
650 0 $aAutomatic theorem proving
830 0 $aReport (University of Illinois at Urbana-Champaign. Dept. of Computer Science)$vno. 965