Results 271 to 277 of about 349,803 (277)
Some of the next articles are maybe not open access.

Deontic theorem proving

2000
openaire   +1 more source

Interactive Theorem Proving

2015
openaire   +1 more source

Classic Theorems Proved

2013
openaire   +1 more source

Abstract theorem proving

1989
Giunchiglia, Fausto, T. Walsh
openaire   +1 more source

Interactive Theorem Proving

2014
openaire   +1 more source

Interactive Theorem Proving

2017
openaire   +1 more source

Mechanized Theorem Proving

openaire   +1 more source
mathematics
automated theorem proving
16. peace & justice
computer science - logic in computer science
theorem proving deduction, resolution, etc.
previous   26  27  28  

Home - About - Disclaimer - Privacy