Login / Signup
Fundamental Proof Methods in Computer Science: A Computer-Based Approach, by Arkoudas and Musser, The MIT Press, Cambridge, USA, ISBN 978-0-262-03553-8.
Selmer Bringsjord
Naveen Sundar Govindarajulu
Published in:
Theory Pract. Log. Program. (2021)
Keyphrases
</>
computer science
significant improvement
mit press
artificial intelligence
data sets
computational cost
software engineering
collaborative learning
computer systems
benchmark datasets
theorem proving