Showing
1 - 2
results of
2
Skip to content
VuFind
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Accession No
Find
Advanced
Page will reload when a filter is removed.
Reset Filters
Applied Filters:
Suggested Topics:
Remove Filter
Automated theorem proving
Page will reload when a filter is removed.
Reset Filters
Show filters (1)
Suggested Topics:
Remove Filter
Automated theorem proving
Search Results
Search Results
Suggested Topics within your search.
Suggested Topics within your search.
Artificial intelligence
2
Automated theorem proving
Electronic digital computers
2
Programming
2
Showing
1 - 2
results of
2
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Automated reasoning
by
Wos, Larry
Published 1984
Call Number:
Loading…
Located:
Loading…
Loading…
QR Code
2
Automated reasoning 33 basic research problems
by
Wos, Larry
Published 1988
Call Number:
Loading…
Located:
Loading…
Loading…
QR Code
Search Tools:
RSS Feed
Email Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Library
Tembila Campus
2 results
2
Call Number
Q - Science
2 results
2
Item Category
Close Access
2 results
2
Format
Book
2 results
2
Author
Wos, Larry
2 results
2
Year of Publication
From:
To: