Matches in Library of Congress for { <http://lccn.loc.gov/86620655> ?p ?o. }
Showing items 1 to 19 of
19
with 100 items per page.
- 86620655 contributor B5344586.
- 86620655 created "[1985]".
- 86620655 date "1985".
- 86620655 date "[1985]".
- 86620655 dateCopyrighted "[1985]".
- 86620655 description "Bibliography: p. 32-34.".
- 86620655 extent "34 p. :".
- 86620655 isPartOf "Report (University of Illinois at Urbana-Champaign. Department of Computer Science) ; no. UIUCDCS-R-85-1207.".
- 86620655 isPartOf "Report / Department of Computer Science, University of Illinois at Urbana-Champaign ; no. UIUCDCS-R-85-1207".
- 86620655 issued "1985".
- 86620655 issued "[1985]".
- 86620655 language "eng".
- 86620655 publisher "Urbana, Ill. (1304 W. Springfield Ave., Urbana 61801) : Dept. of Computer Science, University of Illinois at Urbana-Champaign,".
- 86620655 subject "004 s 511.3 19".
- 86620655 subject "Automatic theorem proving.".
- 86620655 subject "QA76 .I4 no. 1207 QA76.9.A96".
- 86620655 subject "Recursive programming.".
- 86620655 title "Verification of recursive programs : a temporal proof approach / by Simon M. Kaplan.".
- 86620655 type "text".