Showing 1 - 4
of 4
for search: '',
query time: 0.15s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Author: *-*
Call Number: Q - Science
Subject: Artificial intelligence
Subject: Automatic theorem proving
Subject: Logic, Symbolic and mathematical
Institution
Collection
Format
Subject
Author
3
SpringerLink (Online service)
1
ATVA (Symposium)
1
ATVA (Symposium) Chiba, Japan)
1
Artho, Cyrille,
1
Blazy, Sandrine,
1
Chang, Chin-Liang, 1937-
more ...
1
Hong, Hoon
1
ITP (Conference)
1
ITP (Conference) Rennes, France)
1
International Workshop on Automated Deduction in Geometry
1
International Workshop on Automated Deduction in Geometry Gainesville, Fla.)
1
Lee, Richard Char-Tung, 1939-
1
Legay, Axel,
1
Paulin-Mohring, Christine, 1962-
1
Peled, Doron A., 1962-
1
Pichardie, David,
1
ScienceDirect (Online service)
1
Wang, Dongming, 1961-
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication