Open AccessPlato on the foundations of Modern Theorem Provers
Author(s) -
Inês Hipólito
Publication year - 2016
Publication title -
the mathematics enthusiast
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.16
H-Index - 9
ISSN - 1551-3440
DOI - 10.54870/1551-3440.1379
Subject(s) - argument (complex analysis) , axiom , construct (python library) , soul , epistemology , mathematics , philosophy , computer science , calculus (dental) , programming language , medicine , dentistry , biochemistry , chemistry , geometry
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom