Machinale verificatie van redeneringen

N.G. Bruijn, de

Research output: Contribution to journalArticleAcademicpeer-review

26 Downloads (Pure)
Original languageEnglish
Pages (from-to)151-155
JournalVerslag van de gewone vergadering der Koninklijke Nederlandse Akademie van Wetenschappen. Afd. Natuurkunde
Volume78
Publication statusPublished - 1969

Cite this