Showing 1 - 19
of 19
for search: '"Artificial intelligence Congresses."',
query time: 0.41s
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
19
Artificial intelligence
Automatic theorem proving
5
Logic programming
1
Computer architecture
1
Computer science
1
Computers, Special purpose
more ...
1
Data structures (Computer science)
1
Decision making Data processing
1
Formal languages
1
Logic
1
Logic, Symbolic and mathematical
1
Natural language processing (Computer science)
1
Software engineering
see all ...
less ...
Author
19
SpringerLink (Online service)
13
ATVA (Symposium)
5
Voronkov, Andrei, 1959-
4
LPAR (Conference)
2
ATVA (Symposium) Hanoi, Vietnam)
2
ATVA (Symposium) Taipei, Taiwan)
more ...
2
Dang, Hung Van, 1950-
1
ADT 2009
1
ADT 2009 Venice, Italy)
1
ATVA (Symposium) Chiba, Japan)
1
ATVA (Symposium) Los Angeles, Calif.)
1
ATVA (Symposium) Macau, China)
1
ATVA (Symposium) Online)
1
ATVA (Symposium) Pune, India)
1
ATVA (Symposium) Shanghai, China)
1
ATVA (Symposium) Singapore)
1
ATVA (Symposium) Sydney, N.S.W.)
1
ATVA (Symposium) Trivandrum, India)
1
Artho, Cyrille,
1
Baader, Franz
1
Bouajjani, Ahmed
1
Bultan, Tevfik
1
Cassez, Franck, 1967-
1
Chakraborty, Supratik
1
Chen, Yu-Fang (Research fellow),
1
Cheng, Chih-Hong,
1
Chin, Wei-Ngan
1
D'Souza, Deepak,
1
Dershowitz, Nachum
1
Esparza, Javier,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication