Showing
1 - 1
results of
1
Skip to content
Texas A&M University Libraries
MyLibrary
Help
Libraries Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Author
Bunker, Annette
Search Results - Bunker, Annette
Showing
1 - 1
results of
1
Refine Results
Sort
Relevance
Publish Date (newest first)
Publish Date (oldest first)
Call Number
Author
Title
1
Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings /
Published 2004
Other Authors:
“
...
Bunker, Annette
...
”
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
Search Tools:
RSS Feed
Email Search
Related Subjects
Automatic theorem proving
Loading...