Matches in Library of Congress for { <http://lccn.loc.gov/2002026826> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- 2002026826 contributor B9220078.
- 2002026826 created "c2002.".
- 2002026826 date "2002".
- 2002026826 date "c2002.".
- 2002026826 dateCopyrighted "c2002.".
- 2002026826 description "Includes bibliographical references and index.".
- 2002026826 extent "2 v. :".
- 2002026826 identifier "3540439595 (pt. I : softcover : alk. paper)".
- 2002026826 identifier "3540439609 (pt. II : softcover : alk. paper)".
- 2002026826 identifier 2002026826-d.html.
- 2002026826 isPartOf "Lecture notes in computer science ; 2407-2408 Lecture notes in artificial intelligence".
- 2002026826 isPartOf "Lecture notes in computer science ; 2407-2408.".
- 2002026826 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 2002026826 issued "2002".
- 2002026826 issued "c2002.".
- 2002026826 language "eng".
- 2002026826 publisher "Berlin ; New York : Springer,".
- 2002026826 subject "005.1/15 21".
- 2002026826 subject "Automatic theorem proving.".
- 2002026826 subject "Kowalski, Robert.".
- 2002026826 subject "Logic programming languages.".
- 2002026826 subject "Logic programming.".
- 2002026826 subject "QA76.63 .C64 2002".
- 2002026826 title "Computational logic : logic programming and beyond / Antonis C. Kakas, Fariba Sadri (eds.).".
- 2002026826 type "text".