Matches in Library of Congress for { <http://lccn.loc.gov/96012490> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 96012490 contributor B7750071.
- 96012490 contributor B7750072.
- 96012490 created "1996.".
- 96012490 date "1996".
- 96012490 date "1996.".
- 96012490 dateCopyrighted "1996.".
- 96012490 description "Includes bibliographical references (p. 311-317) and indexes.".
- 96012490 extent "xiii, 329 p. :".
- 96012490 identifier "0444816445 (acid-free paper)".
- 96012490 identifier 96012490-d.html.
- 96012490 isPartOf "Studies in computer science and artificial intelligence ; 13".
- 96012490 issued "1996".
- 96012490 issued "1996.".
- 96012490 language "eng".
- 96012490 publisher "Amsterdam ; New York : Elsevier,".
- 96012490 subject "005.13/1 20".
- 96012490 subject "Logic programming.".
- 96012490 subject "Logic, Symbolic and mathematical.".
- 96012490 subject "QA76.63 .M473 1996".
- 96012490 title "Principles of logic and logic programming / G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos.".
- 96012490 type "text".