Logique, réduction, résolution / René Lalement ; préf. de Michel Demazure
Type de document : MonographieCollection : Etudes et recherches en informatique, 3Langue : français.Pays: France.Éditeur : Paris : Masson, 1990Description : 1 vol. (xii-370 p.) : ill., couv. ill. ; 25 cmISBN: 2225821046.ISSN: 0763-2770.Bibliographie : Bibliogr. p. 359-363. Index.Sujet MSC : 03B70, General logic, Logic in computer science03B35, General logic, Mechanization of proofs and logical operations
68N01, Computer science, General topics in the theory of software
68V15, Computer science support for mathematical research and practice, Theorem proving
68Q65, Computer science - Theory of computing, Abstract data types; algebraic specification
03B40, General logic, Combinatory logic and lambda calculus Item type:
Monographie
| Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|
| CMI Salle 1 | 03 LAL (Browse shelf(Opens below)) | Available | 10649-01 | |
| CMI Salle 1 | 03 LAL (Browse shelf(Opens below)) | Available | 10649-02 |
Bibliogr. p. 359-363. Index
There are no comments on this title.