A first course in formal logic and its applications in computer science / R. D. Dowsing, V. J. Rayward-Smith, C. D. Walter

Auteur principal : Dowsing, Roy D., AuteurCo-auteur : Rayward-Smith, Victor John, 1949-, Auteur • Walter, Colin D., 1949-, AuteurType de document : MonographieCollection : Computer science textsLangue : anglais.Pays: Grande Bretagne.Éditeur : Oxford : Blackwell, 1986Description : 1 vol. (265 p.) ; 24 cmISBN: 9780632013081.Sujet MSC : 03B05, General logic, Classical propositional logic
03B10, General logic, Classical first-order logic
68V15, Computer science support for mathematical research and practice, Theorem proving
68Q60, Computer science - Theory of computing, Specification and verification
94C11, Information and communication theory, circuits - Circuits, networks, Switching theory, applications of Boolean algebras Item type: Monographie
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Current library Call number Status Date due Barcode
CMI
Salle 1 		03 DOW (Browse shelf(Opens below)) Available 10054-01

There are no comments on this title.

to post a comment.