Open AccessAxiom systems in automatic theorem proving
Author(s) -
George Robinson,
L. Wos
Publication year - 1970
Publication title -
lecture notes in mathematics
Language(s) - Uncategorized
Resource type - Book series
SCImago Journal Rank - 0.545
H-Index - 61
eISSN - 1617-9692
pISSN - 0075-8434
DOI - 10.1007/bfb0060635
Subject(s) - mathematics , axiom , axiom of choice , calculus (dental) , pure mathematics , mathematical economics , algebra over a field , discrete mathematics , computer science , geometry , set theory , programming language , medicine , set (abstract data type) , dentistry
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