Resolution Methods for the Decision Problem - Lecture Notes in Computer Science - C. Fermuller - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783540567325 - 29 juillet 1993
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Prix
€ 50,49

Commandé depuis un entrepôt distant

Livraison prévue 3 - 13 juil.

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits 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édias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 29 juillet 1993
ISBN13 9783540567325
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 248
Dimensions 155 × 233 × 11 mm   ·   312 g
Langue et grammaire Anglais  

Mere med samme udgiver

Voir tous les C. Fermuller ( par ex. Paperback Book )