| Record ID | marc_records_scriblio_net/part19.dat:206995062:721 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part19.dat:206995062:721?format=raw |
LEADER: 00721pam 2200241 a 4500
001 88002770
003 DLC
005 19890309143510.0
008 880205s1988 mau b 00110 eng
010 $a 88002770
020 $a0262081741
050 0 $aQA76.9.A96$bH39 1988
082 0 $a511.3$219
100 10 $aHayashi, Susumu,$d1953-
245 10 $aPX, a computational logic /$cSusumu Hayashi, Hiroshi Nakano.
260 0 $aCambridge, Mass. :$bMIT Press,$cc1988.
300 $axiv, 200 p. ;$c24 cm.
440 0 $aFoundations of computing
504 $aBibliography: p. [191]-196.
500 $aIncludes index.
650 0 $aAutomatic theorem proving.
650 0 $aLogic, Symbolic and mathematical.
700 10 $aNakano, Hiroshi.