Automated reasoning - Open Access .click

Results 321 to 327 of about 1,501,850 (327)

Some of the next articles are maybe not open access.

Artificial Intelligence and Symbolic Computation, 2018
A. Bundy, K. Nuamah, Christopher Lucas
semanticscholar +1 more source

2001
Shang-Ching Chou, Xiao-Shan Gao
openaire +2 more sources

Lecture Notes in Computer Science, 2018
Stephane Demri, D. Kapur, Christoph Weidenbach +2 more
semanticscholar +1 more source

1995
Dongming Wang, Jochen Pfalzgraf
openaire +2 more sources

artificial intelligence
mathematics
programming language

philosophy
theoretical computer science
epistemology

medicine
automated theorem proving
engineering