Matches in Library of Congress for { <http://lccn.loc.gov/93027846> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 93027846 contributor B6922206.
- 93027846 contributor B6922207.
- 93027846 created "c1993.".
- 93027846 date "1993".
- 93027846 date "c1993.".
- 93027846 dateCopyrighted "c1993.".
- 93027846 description "Includes bibliographical references (p. 329-354) and indexes.".
- 93027846 extent "xvii, 365 p. :".
- 93027846 identifier "0387941290 (New York : acid-free paper)".
- 93027846 identifier "3540941290 (Berlin : acid-free paper)".
- 93027846 isPartOf "Texts and monographs in computer science".
- 93027846 issued "1993".
- 93027846 issued "c1993.".
- 93027846 language "eng".
- 93027846 publisher "New York : Springer-Verlag,".
- 93027846 subject "005.1 20".
- 93027846 subject "Logic programming.".
- 93027846 subject "Logic, Symbolic and mathematical.".
- 93027846 subject "QA76.63 .N45 1993".
- 93027846 title "Logic for applications / Anil Nerode, Richard A. Shore.".
- 93027846 type "text".