From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions - Lecture Notes in Computer Science - D. Snyers - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783540182177 - 12 août 1987
Si la couverture et le titre ne correspondent pas, le titre est correct.

D. Snyers
From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions - Lecture Notes in Computer Science 1987 edition

Prix
€ 50,49

Commandé depuis un entrepôt distant

Livraison prévue 17 - 25 sept.
Recevez une notification pour les nouvelles sorties de D. Snyers

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

Pas encore évalué

This work demonstrates that theorem-proving methods can lead to program synthesis and algorithm implementation by using pairs of logic laws. A systematic examination of deductive laws and of constructive laws is presented.

125 pages, biography

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 12 août 1987
ISBN13 9783540182177
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 125
Dimensions 155 × 233 × 7 mm   ·   199 g
Langue et grammaire Anglais  

Plus d'ouvrages du même éditeur

Voir tous les D. Snyers