![]() |
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
|
Your cart is empty |
||
Showing 1 - 1 of 1 matches in All Departments
This volume contains work on the decision problem done in Kazan (Russia), Tallinn (Estonia), and Vienna (Austria). The authors met several times to discuss and exchange their results and finally decided to write this monograph together. Besides a unified treatment of previously published results there are many new results first presented in this volume. The monograph opens with an introduction and a chapter on terminology, followed by chapters on: - Semantic clash resolution as decision procedure, - Completeness of ordering refinements, - Semantic tree based resolution variants, - Deciding the class K by an ordering refinement, - A resolution based method for building finite models. A final chapter on applications completes the volume.
|
You may like...
Handbook of Medical Image Computing and…
S. Kevin Zhou, Daniel Rueckert, …
Hardcover
R4,574
Discovery Miles 45 740
Machine Learning for Computer Vision
Roberto Cipolla, Sebastiano Battiato, …
Hardcover
R2,675
Discovery Miles 26 750
Theorizing and Analyzing Language…
Hayriye Kayi-Aydar, Xuesong (Andy) Gao, …
Hardcover
R3,509
Discovery Miles 35 090
Optimising New Modes of Assessment: In…
Mien Segers, F. Dochy, …
Hardcover
R4,045
Discovery Miles 40 450
Education and the Kyoto School of…
Paul Standish, Naoko Saito
Hardcover
R2,669
Discovery Miles 26 690
Emerging Trends in Image Processing…
Leonidas Deligiannidis, Hamid R Arabnia
Paperback
|