Showing 1 - 20
of 97
for search: '',
query time: 0.09s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Subject: Automatic theorem proving
Institution
Collection
Format
Subject
Automatic theorem proving
26
Artificial intelligence
19
Logic, Symbolic and mathematical
11
Computer logic
7
Logic
6
Geometry Data processing
more ...
6
Logic programming
5
Software engineering
4
Computer programming
3
Formal methods (Computer science)
3
Mathematics
2
Computer science
2
Computer science Mathematics
2
Decision making Data processing
2
Information storage and retrieval systems Mathematics
2
Mathematics Data processing
1
Approximation theory
1
Computer algorithms
1
Computer architecture
1
Computer graphics
1
Computer systems Verification
1
Computers, Special purpose
1
Constraints (Artificial intelligence)
1
Data structures (Computer science)
1
Differential equations, Partial
1
Electronic data processing
1
Equations Numerical solutions Data processing
1
Formal languages
1
Logic design
1
Logic machines
see all ...
less ...
Author
87
SpringerLink (Online service)
20
ATVA (Symposium)
10
IJCAR (Conference)
10
International Conference on Automated Deduction
9
ITP (Conference)
7
ScienceDirect (Online service)
more ...
6
International Workshop on Automated Deduction in Geometry
6
TABLEAUX (Conference)
6
Voronkov, Andrei, 1959-
4
LPAR (Conference)
4
TPHOLs
3
ATVA (Symposium) Singapore)
3
ATVA (Symposium) Taipei, Taiwan)
3
Sofronie-Stokkermans, Viorica
2
ATVA (Symposium) Beijing, China)
2
ATVA (Symposium) Hanoi, Vietnam)
2
André, Etienne,
2
Bouajjani, Ahmed
2
Boyer, Robert S.
2
Dang, Hung Van, 1950-
2
Federated Logic Conference
2
Galmiche, Didier, 1958-
2
IJCAR (Conference) Online)
2
Klein, Gerwin,
2
Middeldorp, Aart, 1963-
2
Moore, J Strother, 1947-
2
Muñoz, César A., 1968-
2
Paulin-Mohring, Christine, 1962-
2
Peled, Doron A., 1962-
2
Peltier, Nicholas
see all ...
less ...
Language
Genre
Literary Form
Call Number
Year of Publication