Articles liés à Logic and Its Applications

Logic and Its Applications - Couverture souple

Burke, Edmund; Foxley, Eric

 
9780130302632: Logic and Its Applications
Couverture souple
ISBN 10 : 0130302635 ISBN 13 : 9780130302632
Editeur : Addison Wesley, 1996

Synopsis

Providing a thorough introduction to logic programming, this new text covers both propositional and predicate logic with applications in circuit design, formal specification, and logic programming . Introducing the reader to mathematical logic, the book gives special emphasis to applications in computer science. OHPs available form the Publisher.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

Providing a thorough introduction to logic programming, this new text covers both propositional and predicate logic with applications in circuit design, formal specification, and logic programming . Introducing the reader to mathematical logic, the book gives special emphasis to applications in computer science.

OHPs available form the Publisher.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Addison Wesley
Date d'édition
1996
Langue
anglais
ISBN 10 
0130302635
ISBN 13 
9780130302632
Reliure
Broché
Nombre de pages
320
Coordonnées du fabricant
non disponible
Personne responsable
non disponible