Matches in Library of Congress for { <http://lccn.loc.gov/90100876> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 90100876 contributor B6155334.
- 90100876 created "c1989.".
- 90100876 date "1989".
- 90100876 date "c1989.".
- 90100876 dateCopyrighted "c1989.".
- 90100876 description "Bewijzen in de wiskunde / A.F. Monna -- Bewijzen, waarom en hoe / D. van Dalen -- Machinale verificatie van redeneringen / N.G. de Bruijn.".
- 90100876 description "Includes bibliographical references.".
- 90100876 extent "87 p. :".
- 90100876 identifier "9061963737".
- 90100876 isPartOf "CWI syllabus ; 24".
- 90100876 issued "1989".
- 90100876 issued "c1989.".
- 90100876 language "dut".
- 90100876 publisher "Amsterdam : Centrum voor Wiskunde en Informatica,".
- 90100876 subject "AUTOMATH (Formal language)".
- 90100876 subject "Automatic theorem proving.".
- 90100876 subject "Proof theory.".
- 90100876 subject "QA9.54 .B49 1989".
- 90100876 tableOfContents "Bewijzen in de wiskunde / A.F. Monna -- Bewijzen, waarom en hoe / D. van Dalen -- Machinale verificatie van redeneringen / N.G. de Bruijn.".
- 90100876 title "Bewijzen in de wiskunde / onder redactie van P.W.H. Lemmens.".
- 90100876 type "text".