Logic for Applications - Texts in Computer Science - Anil Nerode - Livres - Springer-Verlag New York Inc. - 9780387948935 - 17 janvier 1997
Si la couverture et le titre ne correspondent pas, le titre est correct.

Anil Nerode
Logic for Applications - Texts in Computer Science 2nd Ed. 1997 edition

Prix
€ 131,49

Commandé depuis un entrepôt distant

Livraison prévue 8 - 16 oct.
Recevez une notification pour les nouvelles sorties de Anil Nerode

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é

Également disponible en tant que :

Provides an introduction to mathematical logic which is attuned to the applications of logic in computer science. This work emphasizes the notion that deduction is a form of computation. It deals with topics such as resolution theorem proving, logic programming and non-classical logics - modal and intuitionistic.

476 pages, biography

Médias Livres     Hardcover Book   (Livre avec dos et couverture rigide)
Validé 17 janvier 1997
ISBN13 9780387948935
Éditeurs Springer-Verlag New York Inc.
Pages 476
Dimensions 156 × 234 × 26 mm   ·   816 g
Langue et grammaire Anglais   Français  

Plus d'ouvrages du même éditeur

Voir tous les Anil Nerode