Explore: Inteligência Artificial (c0mputação)
Discover books, insights, and more — all in one place.
Learn more about Inteligência Artificial (c0mputação) with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “intelig%C3%AAncia-artificial-%28c0mputa%C3%A7%C3%A3o%29”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
19th International Conference on Automated Deduction
By International Conference on Automated Deduction (9th 1988 Argonne, Ill.)
“9th International Conference on Automated Deduction” Metadata:
- Title: ➤ 9th International Conference on Automated Deduction
- Author: ➤ International Conference on Automated Deduction (9th 1988 Argonne, Ill.)
- Language: English
- Number of Pages: Median: 775
- Publisher: Springer-Verlag
- Publish Date: 1988
- Publish Location: New York - Berlin
“9th International Conference on Automated Deduction” Subjects and Themes:
- Subjects: ➤ Automatic theorem proving - Congresses - Symbolic and mathematical Logic - Redeneren - Computersystemen - Deductie - Théorèmes - Congrès - Démonstration automatique - Logique symbolique et mathématique - Inteligência artificial (c0mputação)
Edition Identifiers:
- The Open Library ID: OL2039383M
- Online Computer Library Center (OCLC) ID: 17952005
- Library of Congress Control Number (LCCN): 88015876
- All ISBNs: 038719343X - 9780387193434
Access and General Info:
- First Year Published: 1988
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find 9th International Conference on Automated Deduction at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.