Normal view MARC view ISBD view

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, Theory of computing, Specification and verification
94C11, Information and communication theory, circuits - Circuits, networks, Switching theory, applications of Boolean algebras
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
Salle R
03 DOW (Browse shelf) Available 10054-01

There are no comments for this item.

Log in to your account to post a comment.