Matches in Library of Congress for { <http://lccn.loc.gov/92186963> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 92186963 contributor B6772350.
- 92186963 contributor B6772351.
- 92186963 created "[1992]".
- 92186963 date "1992".
- 92186963 date "[1992]".
- 92186963 dateCopyrighted "[1992]".
- 92186963 description "Includes bibliographical references (p. 59-62).".
- 92186963 extent "62 p. :".
- 92186963 isPartOf "Report (Stanford University. Computer Science Department) ; no. STAN-CS-92-1404.".
- 92186963 isPartOf "Report ; no. STAN-CS-92-1404".
- 92186963 issued "1992".
- 92186963 issued "[1992]".
- 92186963 language "eng".
- 92186963 publisher "Stanford, Calif. : Dept. of Computer Science, Stanford University,".
- 92186963 subject "005.1 20".
- 92186963 subject "Computer programming.".
- 92186963 subject "Logic, Symbolic and mathematical.".
- 92186963 subject "QA76.6 .M35597 1992".
- 92186963 title "Fundamentals of deductive program synthesis / by Zohar Manna and Richard Waldinger.".
- 92186963 type "text".