-
document
-
Bruyn, Tim (author)
This report is a discussion of the 1984 report 'An automatic proof procedure for several geometries' by Th. Bruyn and H.L. Claasen, inspired by a personal desire to understand the work of Th. Bruyn. See: http://resolver.tudelft.nl/uuid:b768c6ce-f625-4236-9b0b-32a47fab143e <br/>Bruyn and Claasen prove that certain true propositions of the theory...
bachelor thesis 2017
Source URL (retrieved on 2024-05-01 15:58): https://repository.tudelft.nl/islandora/search/subject%3A%22automatically%22?collection=education&%3Bamp%3Bf%5B0%5D=mods_subject_topic_ss%3A%22Boolean%22&%3Bamp%3Bf%5B1%5D=mods_subject_topic_ss%3A%22building%22&%3Bamp%3Bf%5B2%5D=mods_subject_topic_ss%3A%22automatic%22&%3Bamp%3Bsort=mods_originInfo_dateSort_dt%20desc&%3Bf%5B0%5D=mods_subject_topic_ss%3A%22Gaia%22&f%5B0%5D=mods_name_personal_author_namePart_family_ss%3A%22Bruyn%22