Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008980796/catalog> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- catalog contributor b12620392.
- catalog contributor b12620393.
- catalog contributor b12620394.
- catalog created "2002.".
- catalog date "2002".
- catalog date "2002.".
- catalog dateCopyrighted "2002.".
- catalog description "Includes bibliographical references and index.".
- catalog description "Part 1 -- No. 2407. -- Part 2-- No. 2408.".
- catalog extent "2 v. :".
- catalog identifier "3540439595 (pt. I : softcover : alk. paper)".
- catalog identifier "3540439609 (pt. II : softcover : alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 2407-2408 Lecture notes in artificial intelligence".
- catalog isPartOf "Lecture notes in computer science ; 2407-2408.".
- catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- catalog issued "2002".
- catalog issued "2002.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "005.1/15 21".
- catalog subject "Automatic theorem proving.".
- catalog subject "Kowalski, Robert.".
- catalog subject "Logic programming languages.".
- catalog subject "Logic programming.".
- catalog subject "QA76.63 .C64 2002".
- catalog tableOfContents "Part 1 -- No. 2407. -- Part 2-- No. 2408.".
- catalog title "Computational logic : logic programming and beyond : essays in honor of Robert A. Kowalski / Antonis C. Kakas, Fariba Sadri (eds.)".
- catalog type "text".