Results 331 to 338 of about 348,999 (338)

Automated Reasoning

The American Mathematical Monthly, 1985
openaire   +1 more source

Automated Reasoning

2018
Jeff Z. Pan, Jianfeng Du
openaire   +1 more source

Automation of Reasoning

1983
Jörg H. Siekmann, Graham Wrightson
openaire   +2 more sources

Automated Reasoning

2017
openaire   +1 more source

Automated Reasoning in Geometry

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

Autonomy, Automation and Reasoning

2020
openaire   +2 more sources

Automated Practical Reasoning

1995
Dongming Wang, Jochen Pfalzgraf
openaire   +2 more sources

The impossibility of the automation of logical reasoning

1992
openaire   +2 more sources