Matches in Library of Congress for { <http://lccn.loc.gov/90010556> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 90010556 contributor B6099024.
- 90010556 created "c1990.".
- 90010556 date "1990".
- 90010556 date "c1990.".
- 90010556 dateCopyrighted "c1990.".
- 90010556 description "Includes bibliographical references (p. [132]-139) and index.".
- 90010556 extent "viii, 142 p. :".
- 90010556 identifier "0387528377 (New York : acid-free paper)".
- 90010556 identifier "3540528377 (Berlin : acid-free paper)".
- 90010556 identifier 90010556-d.html.
- 90010556 isPartOf "Lecture notes in computer science ; 446. Lecture notes in artificial intelligence".
- 90010556 isPartOf "Lecture notes in computer science ; 446.".
- 90010556 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 90010556 issued "1990".
- 90010556 issued "c1990.".
- 90010556 language "eng".
- 90010556 publisher "Berlin ; New York : Springer-Verlag,".
- 90010556 subject "006.3 20".
- 90010556 subject "Artificial intelligence.".
- 90010556 subject "Logic programming.".
- 90010556 subject "QA76.63 .P58 1990".
- 90010556 title "Termination proofs for logic programs / Lutz Plümer.".
- 90010556 type "text".