Explore: Automatic Hypothesis Formation
Discover books, insights, and more — all in one place.
Learn more about Automatic Hypothesis Formation with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “automatic-hypothesis-formation”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Inductive logic programming
By ILP 2004 (2004 Porto, Portugal)

“Inductive logic programming” Metadata:
- Title: Inductive logic programming
- Author: ➤ ILP 2004 (2004 Porto, Portugal)
- Language: English
- Number of Pages: Median: 358
- Publisher: Springer
- Publish Date: 2004
- Publish Location: New York - Berlin - London
“Inductive logic programming” Subjects and Themes:
- Subjects: ➤ Logic programming - Congresses - Open Source - COMPUTERS - Programming - Automatic hypothesis formation - General - Software Development & Engineering - Tools
Edition Identifiers:
- The Open Library ID: OL17841117M - OL17629009M - OL9447699M - OL17724163M
- Online Computer Library Center (OCLC) ID: 56432881 - 56425784
- Library of Congress Control Number (LCCN): 2004095629
- All ISBNs: 3540229418 - 9783540229414
First Setence:
"Program synthesis is the systematic, usually automatic construction of correct and efficient executable code from declarative statements."
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
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 Inductive logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Inductive logic programming
By ILP 2005 (2005 Bonn, Germany)

“Inductive logic programming” Metadata:
- Title: Inductive logic programming
- Author: ILP 2005 (2005 Bonn, Germany)
- Language: English
- Number of Pages: Median: 425
- Publisher: Springer
- Publish Date: 2005
- Publish Location: New York - Berlin
“Inductive logic programming” Subjects and Themes:
- Subjects: Congresses - Logic programming - Automatic hypothesis formation
Edition Identifiers:
- The Open Library ID: OL9560599M - OL17725407M - OL17629198M
- Online Computer Library Center (OCLC) ID: 61747161 - 61320924
- Library of Congress Control Number (LCCN): 2005930339
- All ISBNs: 3540281770 - 9783540281771
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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 Inductive logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Avtomaticheskoe obrazovanie gipotez
By Petr Hájek
“Avtomaticheskoe obrazovanie gipotez” Metadata:
- Title: ➤ Avtomaticheskoe obrazovanie gipotez
- Author: Petr Hájek
- Language: rus
- Number of Pages: Median: 276
- Publisher: ➤ "Nauka," Glav. red. fiziko-matematicheskoĭ literatury
- Publish Date: 1984
- Publish Location: Moskva
“Avtomaticheskoe obrazovanie gipotez” Subjects and Themes:
- Subjects: Automatic hypothesis formation
Edition Identifiers:
- The Open Library ID: OL47965079M
- Online Computer Library Center (OCLC) ID: 16316417
Access and General Info:
- First Year Published: 1984
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Avtomaticheskoe obrazovanie gipotez at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Mechanizing hypothesis formation
By Hájek, Petr.
“Mechanizing hypothesis formation” Metadata:
- Title: ➤ Mechanizing hypothesis formation
- Author: Hájek, Petr.
- Language: English
- Number of Pages: Median: 396
- Publisher: Springer-Verlag
- Publish Date: 1978
- Publish Location: New York - Berlin
“Mechanizing hypothesis formation” Subjects and Themes:
- Subjects: Automatic hypothesis formation
Edition Identifiers:
- The Open Library ID: OL4298062M
- Online Computer Library Center (OCLC) ID: 4277397
- Library of Congress Control Number (LCCN): 78326458
- All ISBNs: 9780387087382 - 0387087389
Access and General Info:
- First Year Published: 1978
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Mechanizing hypothesis formation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Metoda GUHA
By Hájek, Petr.
“Metoda GUHA” Metadata:
- Title: Metoda GUHA
- Author: Hájek, Petr.
- Language: cze
- Number of Pages: Median: 314
- Publisher: Academia
- Publish Date: 1983
- Publish Location: Praha
“Metoda GUHA” Subjects and Themes:
- Subjects: Cybernetics - Human-machine systems - Automatic hypothesis formation
Edition Identifiers:
- The Open Library ID: OL2803241M
- Library of Congress Control Number (LCCN): 83234608
Access and General Info:
- First Year Published: 1983
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Metoda GUHA at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Inductive Logic Programming 21st International Conference Revised Selected Papers
By Stephen Muggleton

“Inductive Logic Programming 21st International Conference Revised Selected Papers” Metadata:
- Title: ➤ Inductive Logic Programming 21st International Conference Revised Selected Papers
- Author: Stephen Muggleton
- Publisher: Springer
- Publish Date: 2012
“Inductive Logic Programming 21st International Conference Revised Selected Papers” Subjects and Themes:
- Subjects: Logic programming - Machine learning - Congresses - Induction (Logic) - Automatic hypothesis formation
Edition Identifiers:
- The Open Library ID: OL26008496M
- Library of Congress Control Number (LCCN): 2012942085
- All ISBNs: 3642319505 - 9783642319501
Access and General Info:
- First Year Published: 2012
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Inductive Logic Programming 21st International Conference Revised Selected Papers at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Inductive logic programming
By ILP 2006 (2006 Santiago de Compostela, Spain)

“Inductive logic programming” Metadata:
- Title: Inductive logic programming
- Author: ➤ ILP 2006 (2006 Santiago de Compostela, Spain)
- Language: English
- Number of Pages: Median: 456
- Publisher: Springer
- Publish Date: 2007
- Publish Location: New York - Berlin
“Inductive logic programming” Subjects and Themes:
- Subjects: Logic programming - Congresses - Automatic hypothesis formation
Edition Identifiers:
- The Open Library ID: OL16150853M
- Online Computer Library Center (OCLC) ID: 506792758 - 163094769 - 173984957
- Library of Congress Control Number (LCCN): 2007931449
- All ISBNs: 9783540738466 - 3540738460
Access and General Info:
- First Year Published: 2007
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Inductive logic programming at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.