Matches in Library of Congress for { <http://lccn.loc.gov/89102094> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 89102094 contributor B5908427.
- 89102094 contributor B5908428.
- 89102094 created "[1988]".
- 89102094 date "1988".
- 89102094 date "[1988]".
- 89102094 dateCopyrighted "[1988]".
- 89102094 description "Includes bibliographical references (p. 11-12).".
- 89102094 extent "13 p. ;".
- 89102094 isPartOf "Report (Stanford University. Computer Science Department) ; no. STAN-CS-88-1202.".
- 89102094 isPartOf "Report ; no. STAN-CS-88-1202".
- 89102094 issued "1988".
- 89102094 issued "[1988]".
- 89102094 language "eng".
- 89102094 publisher "Stanford, Calif. : Dept. of Computer Science, Stanford University,".
- 89102094 subject "Artificial intelligence.".
- 89102094 subject "Computer programs Correctness.".
- 89102094 subject "Computer programs Termination.".
- 89102094 subject "MLCM 91/11010 (Q)".
- 89102094 subject "Programming languages (Electronic computers) Semantics.".
- 89102094 subject "Prolog (Computer program language)".
- 89102094 title "Proving termination properties of PROLOG programs : a semantic approach / Marianne Baudinet.".
- 89102094 type "text".