Povej prijatelju o tem izdelku:
Resolution Methods for the Decision Problem - Lecture Notes in Computer Science C. Fermuller 1993 edition
Resolution Methods for the Decision Problem - Lecture Notes in Computer Science
C. Fermuller
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
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 29. julija 1993 |
| ISBN13 | 9783540567325 |
| Založniki | Springer-Verlag Berlin and Heidelberg Gm |
| Strani | 248 |
| Dimenzije | 155 × 233 × 11 mm · 312 g |
| Jezik | Angleščina |