Explore: Inteligencia Artificial (conmputacʹao)
Discover books, insights, and more — all in one place.
Learn more about Inteligencia Artificial (conmputacʹao) with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “inteligencia-artificial-%28conmputac%CA%B9ao%29”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Proceedings
By International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany)
“Proceedings” Metadata:
- Title: Proceedings
- Author: ➤ International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany)
- Language: English
- Number of Pages: Median: 688
- Publisher: Springer-Verlag
- Publish Date: 1990
- Publish Location: Berlin - New York
“Proceedings” Subjects and Themes:
- Subjects: ➤ Automatic theorem proving - Congresses - Symbolic and mathematical Logic - Theoremes - Automatisches Beweisverfahren - Logique symbolique et mathematique - Congres - Inteligencia artificial (conmputacʹao) - Demonstration automatique
Edition Identifiers:
- The Open Library ID: OL1857869M
- Online Computer Library Center (OCLC) ID: 508045805 - 22184493
- Library of Congress Control Number (LCCN): 90010125
- All ISBNs: 0387528857 - 9780387528854
Access and General Info:
- First Year Published: 1990
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Proceedings at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.