Resolution Methods for the Decision Problem - Lecture Notes in Computer Science - C. Fermuller - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540567325 - July 29, 1993
In case cover and title do not match, the title is correct

C. Fermuller
Resolution Methods for the Decision Problem - Lecture Notes in Computer Science 1993 edition

Price
A$ 78.49
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 19 - Jul 1

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

This volume contains work on the decision problem done in Kazan (Russia), Tallinn (Estonia) and Vienna (Austria). Among the topics covered are: semantic clash resolution as decision procedure; completeness of ordering refinements; and a resolution based method for building finite models.

248 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 29, 1993
ISBN13 9783540567325
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 248
Dimensions 155 × 233 × 11 mm   ·   312 g
Language English  

Mere med samme udgiver

See all of C. Fermuller ( e.g. Paperback Book )