Matches in Library of Congress for { <http://lccn.loc.gov/95012490%2F%2Fr96> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 95012490%2F%2Fr96 contributor B7457610.
- 95012490%2F%2Fr96 contributor B7457611.
- 95012490%2F%2Fr96 contributor B7457612.
- 95012490%2F%2Fr96 created "c1995.".
- 95012490%2F%2Fr96 date "1995".
- 95012490%2F%2Fr96 date "c1995.".
- 95012490%2F%2Fr96 dateCopyrighted "c1995.".
- 95012490%2F%2Fr96 description "Includes bibliographical references.".
- 95012490%2F%2Fr96 extent "470 p. :".
- 95012490%2F%2Fr96 identifier "3540585818 (acid-free paper)".
- 95012490%2F%2Fr96 isPartOf "NATO ASI series. Series F, Computer and systems sciences ; no. 139.".
- 95012490%2F%2Fr96 isPartOf "NATO ASI series. Series F, Computer and systems sciences ; vol. 139".
- 95012490%2F%2Fr96 issued "1995".
- 95012490%2F%2Fr96 issued "c1995.".
- 95012490%2F%2Fr96 language "eng".
- 95012490%2F%2Fr96 publisher "Berlin ; New York : Springer,".
- 95012490%2F%2Fr96 subject "004/.01/5113 20".
- 95012490%2F%2Fr96 subject "Logic programming Congresses.".
- 95012490%2F%2Fr96 subject "Logic, Symbolic and mathematical Congresses.".
- 95012490%2F%2Fr96 subject "QA76.63 .P76 1995".
- 95012490%2F%2Fr96 title "Proof and computation / edited by Helmut Schwichtenberg.".
- 95012490%2F%2Fr96 type "text".