Powiedz znajomym o tym przedmiocie:
Resolution Methods for the Decision Problem - Lecture Notes in Computer Science 1993 edition
C. Fermuller
Cena
zł 276,90
Zamówione z odległego magazynu
Przewidywana dostawa 19 - 28 lis
Nasi klienci mówią:
Dodaj do swojej listy życzeń iMusic
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 )