We have tens of thousands of books in stock.
How it works
Contact
Search for a book, author or category...
Fiction
Fiction
World prose
Sci-fi and Fantasy
Detective and Thriller
Romance
Historical prose
Comic books
Educational
Educational
History
Encyclopedia
Hobby and Home
Motivation and Self-help
Psychology
Sport
Culture
Biographies
For kids and young adults
For the youngest
Fairy tales
Accordion books
For younger children
All books for younger readers
First reading
Younger schoolchildren
Fairy tales
Children's encyclopedias
Paper crafts
For older readers
All books for older readers
Older school children
Game books
Fairy tales
Children's encyclopedias
For young adults
All books for young adults
Young Adult
Horror books for young adults
Other categories
Other categories
Cookbooks
Textbooks
Maps and Travel
Esotericism and Religion
Foreign language books
Foreign language books
Polish books
German books
French books
Italian books
Spanish books
Russian books
Tips for Gifts
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
bookbot.com
/
All books
/
Computers, IT, Programming
/
Counter examples in semantic tableaux
The book is currently out of stock
Counter examples in semantic tableaux
Authors
Stefan Klingenbeck
Parameters
ISBN
9783896011565
Publisher
Infix
Categories
Computers, IT, Programming
Dissertationen zur künstlichen Intelligenz
Book variant
1997
Book purchase
The book is currently out of stock.
Track book availability
19971997
19971997