Matches in Library of Congress for { <http://lccn.loc.gov/94040114> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 94040114 contributor B7204427.
- 94040114 created "1995.".
- 94040114 date "1995".
- 94040114 date "1995.".
- 94040114 dateCopyrighted "1995.".
- 94040114 description "Includes bibliographical references.".
- 94040114 extent "xiv, 404 p. :".
- 94040114 identifier "0444820922 (acid-free paper)".
- 94040114 isPartOf "Studies in computer science and artificial intelligence ; 11".
- 94040114 issued "1995".
- 94040114 issued "1995.".
- 94040114 language "eng".
- 94040114 publisher "Amsterdam ; New York : Elsevier,".
- 94040114 subject "005.1/1 20".
- 94040114 subject "Formal methods (Computer science)".
- 94040114 subject "Logic programming.".
- 94040114 subject "QA76.63 .L63294 1995".
- 94040114 title "Logic programming : formal methods and practical applications / edited by Christoph Beierle, Lutz Plümer.".
- 94040114 type "text".