Suggested Topics within your search.
Suggested Topics within your search.
Automatic theorem proving
18
Artificial intelligence
4
Computer programming
4
Logic, Symbolic and mathematical
2
Reasoning
2
Algebra, Boolean
1
Computational complexity
1
Computer logic
1
Computer programs
1
Computer systems
1
Curves, Algebraic
1
Data processing
1
Evaluation
1
LISP (Computer program language)
1
Logic circuits
1
Logic programming
1
Stochastic analysis
1
Type theory
1
Verification (Logic)
1
-
1
-
2
-
3Published 1984Subjects: '; “...Automatic theorem proving Congresses...”
Book -
4
-
5
-
6
-
7
-
8by Fitting, Melvin, 1942-
Published 2013Edition: Second edition.Subjects: '; “...Automatic theorem proving....”
Book -
9Published 1992Edition: 2nd ed.Subjects: '; “...Automatic theorem proving....”
Book -
10by Friedman, Daniel P.Subjects: '; “...Automatic theorem proving....”
Published 2015
Get full text
eBook -
11Published 1996Subjects: '; “...Automatic theorem proving Congresses...”
Book -
12Published 1999Subjects: '; “...Automatic theorem proving Congresses...”
Book -
13by Karchmer, MauricioSubjects: '; “...Automatic theorem proving....”
Published 1989
Get full text
eBook -
14Published 2007Subjects: '; “...Automatic theorem proving Congresses...”
Book -
15
-
16
-
17
-
18by Chlipala, Adam, 1981-Subjects: '; “...Automatic theorem proving Computer programs....”
Published 2013
Get full text
eBook