| Record ID | marc_records_scriblio_net/part22.dat:2984913:856 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part22.dat:2984913:856?format=raw |
LEADER: 00856cam 2200241 a 4500
001 91011436
003 DLC
005 20001026133559.0
008 910221s1991 enka b 001 0 eng
010 $a 91011436
020 $a1558601953
040 $aDLC$cDLC$dDLC
050 00 $aQ335$b.E34 1991
082 00 $a006.3$220
100 1 $aEisinger, Norbert.
245 10 $aCompleteness, confluence, and related properties of clause graph resolution /$cNorbert Eisinger.
260 $aLondon :$bPitman ;$aSan Mateo, Calif. :$bMorgan Kaufmann,$c1991.
300 $a181 p. :$bill. ;$c25 cm.
490 1 $aResearch notes in artificial intelligence,$x0268-7526
504 $aIncludes bibliographical references (p. 168-171) and index.
650 0 $aArtificial intelligence.
650 0 $aGraph theory.
830 0 $aResearch notes in artificial intelligence (London, England)