Explore: Especificacʹao De Programas E Sistemas (congressos)
Discover books, insights, and more — all in one place.
Learn more about Especificacʹao De Programas E Sistemas (congressos) with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “especificac%CA%B9ao-de-programas-e-sistemas-%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.