Processor propositiecalculus voor Automath

N.G. Bruijn, de

Research output: Book/ReportReportPopular

25 Downloads (Pure)
Original languageDutch
Place of PublicationEindhoven
PublisherTechnische Hogeschool Eindhoven
Number of pages12
Publication statusPublished - 1968

Cite this