Matches in Library of Congress for { <http://lccn.loc.gov/94021152> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 94021152 contributor B7182072.
- 94021152 contributor B7182073.
- 94021152 created "c1994.".
- 94021152 date "1994".
- 94021152 date "c1994.".
- 94021152 dateCopyrighted "c1994.".
- 94021152 extent "x, 344 p. ;".
- 94021152 identifier "0387582169 (New York : alk. paper) :".
- 94021152 identifier "3540582169 (Berlin)".
- 94021152 identifier 94021152-d.html.
- 94021152 isPartOf "Lecture notes in computer science ; 822. Lecture notes in artificial intelligence".
- 94021152 isPartOf "Lecture notes in computer science ; 822.".
- 94021152 isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- 94021152 issued "1994".
- 94021152 issued "c1994.".
- 94021152 language "eng".
- 94021152 publisher "Berlin ; New York : Springer-Verlag,".
- 94021152 subject "005.1/1 20".
- 94021152 subject "Automatic theorem proving Congresses.".
- 94021152 subject "Logic programming Congresses.".
- 94021152 subject "QA76.63 .I565 1994".
- 94021152 title "Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings / Frank Pfenning (ed.).".
- 94021152 type "text".