| Record ID | marc_university_of_toronto/uoft.marc:4285870617:1850 |
| Source | University of Toronto |
| Download Link | /show-records/marc_university_of_toronto/uoft.marc:4285870617:1850?format=raw |
LEADER: 01850cam 2200409 a 4500
001 ocm50124452
005 20021030143656.0
007 cr un---------
008 020628s2002 gw a b 011 0 eng
019 $a50207586$a50301786$a50301807
020 $a3540439595 (pt. I : softcover : alk. paper)
020 $a3540439609 (pt. II : softcover : alk. paper)
042 $apcc
050 00 $aQA76.63$b.C64 2002
072 7 $aQA$2lcco
082 00 $a005.1/15$221
049 $aUTOA
245 00 $aComputational logic :$blogic programming and beyond : essays in honour of Robert A.Kowalski /$cAntonis C. Kakas, Fariba Sadri (eds.).
260 $aHeidelberg ;$aNew York :$bSpringer,$cc2002.
300 $a2 v. :$bill. ;$c24 cm.
490 1 $aLecture notes in computer science ;$v2407-2408$aLecture notes in artificial intelligence
504 $aIncludes bibliographical references and index.
530 $aAlso available via the World Wide Web.
650 0 $aLogic programming.
650 0 $aAutomatic theorem proving.
650 0 $aLogic programming languages.
600 10 $aKowalski, Robert.
700 1 $aKakas, Antonis C.
700 1 $aSadri, Fariba,$d1956-
700 1 $aKowalski, Robert.
830 0 $aLecture notes in computer science ;$v2407-2408
830 0 $aLecture notes in computer science.$pLecture notes in artificial intelligence.
856 41 $3Part I.$uhttp://link.springer-ny.com/link/service/series/0558/tocs/t2407.htm$zRestricted to Springer LINK subscribers
856 41 $3Part II.$uhttp://link.springer-ny.com/link/service/series/0558/tocs/t2408.htm$zRestricted to Springer LINK subscribers
994 $aE0$bUTO
949 $aQA76.63 .C64 2002 pt.1$wLC$c1$i31761059628362$lSTACKS$mENGI_CSCI$rY$sY$tBOOK$u31/10/2002
949 $aQA76.63 .C64 2002 pt.2$wLC$c1$i31761059628313$lSTACKS$mENGI_CSCI$rY$sY$tBOOK$u31/10/2002