Explore: Inteligencia Artificial (congressos)
Discover books, insights, and more — all in one place.
Learn more about Inteligencia Artificial (congressos) with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “inteligencia-artificial-%28congressos%29”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Abstraction, reformulation, and approximation
By Sven Koenig and Robert C. Holte

“Abstraction, reformulation, and approximation” Metadata:
- Title: ➤ Abstraction, reformulation, and approximation
- Authors: Sven KoenigRobert C. Holte
- Language: English
- Number of Pages: Median: 349
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2002 - 2006
“Abstraction, reformulation, and approximation” Subjects and Themes:
- Subjects: ➤ Congresses - Computer science - Artificial intelligence - Formulierung - Approximation, Theorie de l' - Inferenz - Maschinelles Lernen - Kunstliche Intelligenz - Model Checking - Programmierung - Congres - Constraint-Erfullung - Korrektur - Informatique - INTELIGENCIA ARTIFICIAL (CONGRESSOS) - Abstraktion - Kongress - Approximation - ESPECIFICACʹAO DE PROGRAMAS E SISTEMAS (CONGRESSOS) - Intelligence artificielle - Logic design
Edition Identifiers:
- The Open Library ID: OL37093017M - OL9667741M
- Online Computer Library Center (OCLC) ID: 50129346
- Library of Congress Control Number (LCCN): 2002026828
- All ISBNs: 9783540456223 - 3540456228 - 9783540439417 - 3540439412
First Setence:
"How can a computer program developer ensure that a program actually implements its intended purpose?"
Access and General Info:
- First Year Published: 2002
- 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 Abstraction, reformulation, and approximation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Advances in artificial intelligence, IBERAMIA-SBIA 2006
By IBERAMIA-SBIA 2006 (2006 Ribeirão Preto, Brazil)

“Advances in artificial intelligence, IBERAMIA-SBIA 2006” Metadata:
- Title: ➤ Advances in artificial intelligence, IBERAMIA-SBIA 2006
- Author: ➤ IBERAMIA-SBIA 2006 (2006 Ribeirão Preto, Brazil)
- Language: English
- Number of Pages: Median: 635
- Publisher: Springer
- Publish Date: 2006
- Publish Location: Berlin - New York
“Advances in artificial intelligence, IBERAMIA-SBIA 2006” Subjects and Themes:
- Subjects: ➤ Congresses - Artificial intelligence - Intelig?encia artificial (congressos)
Edition Identifiers:
- The Open Library ID: OL22744807M
- Online Computer Library Center (OCLC) ID: 313530538 - 73109004
- Library of Congress Control Number (LCCN): 2006933826
- All ISBNs: 3540454624 - 9783540454625
Access and General Info:
- First Year Published: 2006
- 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 Advances in artificial intelligence, IBERAMIA-SBIA 2006 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.