Showing
1 - 2
results of
2
Skip to content
VuFind
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Accession No
Find
Advanced
Author
Wos, Larry
Search Results - Wos, Larry
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
Related Subjects
Artificial intelligence
Automated theorem proving
Electronic digital computers
Programming