Showing
1 - 6
results of
6
for search '
'
Skip to content
Texas A&M University Libraries
Texas A&M University Libraries
MyLibrary
Help
MyLibrary
Help
Libraries Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Page will reload when a filter is removed.
Reset Filters
Applied Filters:
Other:
Remove Filter
Logic, Symbolic and mathematical
Author:
Remove Filter
Calmet, Jacques
Page will reload when a filter is removed.
Reset Filters
Show filters (2)
Other:
Remove Filter
Logic, Symbolic and mathematical
Author:
Remove Filter
Calmet, Jacques
Search Results
Showing
1 - 6
results of
6
for search '
'
, query time: 0.13s
Refine Results
Sort
Relevance
Publish Date (newest first)
Publish Date (oldest first)
Call Number
Author
Title
1
Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings /
Published 1993
Call Number:
Loading...
Located:
Loading...
Conference Proceeding
Book
Loading...
2
Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings /
Published 1996
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
3
Artificial intelligence and symbolic computation : International Conference AISC '98, Plattsburgh, New York, USA, September 16-18, 1998 : proceedings /
Published 1998
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
4
Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceed...
Published 2002
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
5
Artificial intelligence and symbolic computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings /
Published 2006
Call Number:
Loading...
Located:
Loading...
Conference Proceeding
Book
Loading...
6
Artificial intelligence and symbolic computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings /
Published 2006
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
Search Tools:
RSS Feed
–
Email Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Available Online
Format
Conference Proceeding
6 results
6
eBook
4 results
4
Book
2 results
2
Library Locations
Please enable JavaScript.
Year of Publication
From:
To:
Author
Calmet, Jacques
SpringerLink (Online service)
4 results
4
AISC (Conference) Beijing, China)
2 results
2
Campbell, J. A., 1940-
2 results
2
Ida, Tetsuo
2 results
2
Wang, Dongming, 1961-
2 results
2
AISC (Conference) Marseille, France)
1 results
1
AISC (Conference) Plattsburgh, N.Y.)
1 results
1
AISMC (Conference) Karlsruhe, Germany)
1 results
1
AISMC (Conference) Steyr, Austria)
1 results
1
Calculemus (Symposium)
1 results
1
Pfalzgraf, Jochen
1 results
1
Plaza, Jan
1 results
1
see all…
Language
English
6 results
6
Geography
Plattsburgh (NY)
1 results
1
Loading...