Powiedz znajomym o tym przedmiocie:
Resolution Methods for the Decision Problem - Lecture Notes in Computer Science 1993 edition
C. Fermuller
Resolution Methods for the Decision Problem - Lecture Notes in Computer Science 1993 edition
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
Media | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
Wydane | 29 lipca 1993 |
ISBN13 | 9783540567325 |
Wydawcy | Springer-Verlag Berlin and Heidelberg Gm |
Strony | 248 |
Wymiary | 155 × 233 × 11 mm · 312 g |
Język | English |
Zobacz wszystko od C. Fermuller ( np. Paperback Book )