Explore the
latest books
of this year!
Blog
About us
Career
Contact
Search for a book, author or category...
Sell books
Fiction
Fiction
World Fiction
Comic Books
Detective and Thriller
Fantasy
Historical Fiction
Romance
Sci-fi
Nonfiction
Nonfiction
History
Encyclopedia
Hobby and Home
Motivation and Self-help
Psychology
Sport
Culture
Biographies
Kids and Young Adults
For the Youngest
Fairytales
Accordion Books
For Younger Children
All Books for Younger Readers
First Reading
Younger Schoolchildren
Fairytales
Children's Encyclopedias
Paper Crafts
For Older Readers
All Books for Older Readers
Older School Children
Game Books
Fairytales
Children's Encyclopedias
For Young Adults
All Books for Young Adults
Young Adult
Romantasy
Other Categories
Other Categories
Cookbooks
Textbooks
Maps and Travel
Esotericism and Religion
Foreign Language Books
Foreign Language Books
Books in Polish
Books in German
Books in French
Books in Italian
Books in Spanish
Books in Russian
Gift Ideas
Who do you want to give a book to?
Gifts for Little Ones
Gifts for Younger Schoolchildren
Gifts for Older Schoolchildren
Gifts for Mom
Gifts for Dad
Gifts for Grandma
Gifts for Grandpa
Take our advice!
Bestselling Books
Books made into movies
All books
Computers, IT, Programming
Optimizing proof search by machine learning techniques
The book is currently out of stock
Optimizing proof search by machine learning techniques
Authors
Thomas Kolbe
Parameters
Computers, IT, Programming
Book purchase
Optimizing proof search by machine learning techniques
, Thomas Kolbe
Language
Released
1997
Watch book availability
We’ll email you as soon as we track it down.
Payment methods
No one has
rated
yet.
Add rating
Edition details
Suggest a correction
