Showing 1 - 3
of 3
for search: '',
query time: 0.04s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Author: Wang, Dongming, 1961-
Author: *-*
Call Number: Q - Science
Subject: Artificial intelligence
Subject: Logic, Symbolic and mathematical
Institution
Collection
Format
Subject
Author
3
SpringerLink (Online service)
Wang, Dongming, 1961-
2
AISC (Conference)
1
AISC (Conference) Beijing, China)
1
AISC (Conference) Paris, France) Paris, France)
1
Calmet, Jacques
more ...
1
Calmet, Jacques,
1
Fleuriot, Jacques, 1972-
1
Hong, Hoon
1
Ida, Tetsuo
1
International Workshop on Automated Deduction in Geometry
1
International Workshop on Automated Deduction in Geometry Gainesville, Fla.)
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication