Resolution Methods for the Decision Problem - Lecture Notes in Computer Science - C. Fermuller - Knihy - Springer-Verlag Berlin and Heidelberg Gm - 9783540567325 - 29. júla 1993
V prípade, že obal a názov nesedia, platí názov

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

Cena
€ 52,99

Objednané zo vzdialeného skladu

Očakávané doručenie 17. - 25. jún

Naši zákazníci hovoria:

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa
Najvyššie hodnotenie na Trustpilot
Pridať do vášho zoznamu prianí na iMusic

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

Médium Knihy     Paperback Book   (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané 29. júla 1993
ISBN13 9783540567325
Vydavatelia Springer-Verlag Berlin and Heidelberg Gm
Strany 248
Rozmery 155 × 233 × 11 mm   ·   312 g
Jazyk Angličtina  

Mere med samme udgiver

Pozrieť všetko od C. Fermuller ( napr. Paperback Book )