Showing
1 - 7
results of
7
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:
Author:
Remove Filter
Wang, Dongming
Other:
Remove Filter
Logic, Symbolic and mathematical
Page will reload when a filter is removed.
Reset Filters
Show filters (2)
Author:
Remove Filter
Wang, Dongming
Other:
Remove Filter
Logic, Symbolic and mathematical
Search Results
Showing
1 - 7
results of
7
for search '
'
, query time: 0.14s
Refine Results
Sort
Relevance
Publish Date (newest first)
Publish Date (oldest first)
Call Number
Author
Title
1
Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers /
Published 1998
Call Number:
Loading...
Located:
Loading...
Conference Proceeding
Book
Loading...
2
Automated deduction in geometry : Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998 : proceedings /
Published 1999
Call Number:
Loading...
Located:
Loading...
Conference Proceeding
Book
Loading...
3
Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
Published 2001
Call Number:
Loading...
Located:
Loading...
Conference Proceeding
Book
Loading...
4
Symbolic-numeric computation /
by
Wang, Dongming
Published 2007
Call Number:
Loading...
Located:
Loading...
Table of contents only
Book
5
Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers /
Published 1998
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
6
Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
Published 2001
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
7
Automated Practical Reasoning : Algebraic Approaches /
by
Pfalzgraf, Jochen
Published 1995
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
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
5 results
5
Book
4 results
4
eBook
3 results
3
Library Locations
Please enable JavaScript.
Year of Publication
From:
To:
Author
Wang, Dongming
SpringerLink (Online service)
3 results
3
International Workshop on Automated Deduction in Geometry Toulouse, France
2 results
2
International Workshop on Automated Deduction in Geometry Zurich, Switzerland
2 results
2
Richter-Gebert, Jürgen, 1963-
2 results
2
Gao, Xiao-Shan
1 results
1
International Workshop on Automated Deduction in Geometry Beijing, China
1 results
1
Pfalzgraf, Jochen
1 results
1
Yang, Lu, 1936-
1 results
1
Zhi, Lihong
1 results
1
see all…
Language
English
7 results
7
Loading...