Matches in Library of Congress for { <http://lccn.loc.gov/95101128> ?p ?o. }
Showing items 1 to 17 of
17
with 100 items per page.
- 95101128 contributor B7518825.
- 95101128 created "[1994]".
- 95101128 date "1994".
- 95101128 date "[1994]".
- 95101128 dateCopyrighted "[1994]".
- 95101128 description "Includes bibliographical references (P. 42-44).".
- 95101128 extent "ii, 44 p. ;".
- 95101128 isPartOf "Report (Stanford University. Computer Science Department) ; no. STAN-CS-TR-94-1518.".
- 95101128 isPartOf "Report ; no. STAN-CS-TR-94-1518".
- 95101128 issued "1994".
- 95101128 issued "[1994]".
- 95101128 language "eng".
- 95101128 publisher "Stanford, Calif. : Dept. of Computer Science, Stanford University,".
- 95101128 subject "Automatic theorem proving.".
- 95101128 subject "QA76.9.A96 S74 1994".
- 95101128 title "STeP, the Stanford Temporal Prover / by Zohar Manna ... [et al.].".
- 95101128 type "text".