Matches in Library of Congress for { <http://lccn.loc.gov/97116088> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 97116088 contributor B8117533.
- 97116088 created "c1995.".
- 97116088 date "1995".
- 97116088 date "c1995.".
- 97116088 dateCopyrighted "c1995.".
- 97116088 description "Includes bibliographical references (p. 135-142) and index.".
- 97116088 extent "viii, 144 p. :".
- 97116088 isPartOf "Report (Stanford University. Computer Science Department) ; STAN-CS-TR-95-1551.".
- 97116088 isPartOf "Report ; no. STAN-CS-TR-95-1551".
- 97116088 issued "1995".
- 97116088 issued "c1995.".
- 97116088 language "eng".
- 97116088 publisher "Stanford, Calif. : Dept. of Computer Science, Stanford University,".
- 97116088 subject "Automatic theorem proving.".
- 97116088 subject "Computer algorithms.".
- 97116088 subject "Logic, Symbolic and mathematical.".
- 97116088 subject "QA76.9.A96 M385 1995".
- 97116088 title "Two methods for checking formulas of temporal logic / by Hugh W. McGuire.".
- 97116088 type "text".