Open AccessInteractive Theorem Proving for Logic and Information
Author(s) -
Jørgen Villadsen,
Asta Halkjær From,
Alexander Birch Jensen,
Anders Schlichtkrull
Publication year - 2021
Publication title -
studies in computational intelligence
Language(s) - English
Resource type - Book series
SCImago Journal Rank - 0.185
H-Index - 68
eISSN - 1860-9503
pISSN - 1860-949X
DOI - 10.1007/978-3-030-90138-7_2
Subject(s) - mathematical proof , axiom , computer science , rule of inference , automated theorem proving , modal logic , higher order logic , automated reasoning , dynamic logic (digital electronics) , proof assistant , proof theory , theoretical computer science , description logic , epistemic modal logic , proof calculus , multimodal logic , first order logic , inference , normal modal logic , philosophy of logic , programming language , natural deduction , mathematics , artificial intelligence , modal , physics , quantum mechanics , transistor , geometry , chemistry , polymer chemistry , voltage
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