Normal view MARC view ISBD view

Logique, réduction, résolution / René Lalement ; préf. de Michel Demazure

Auteur principal : Lalement, René, AuteurAuteur secondaire : Demazure, Michel, 1937-, PréfacierType 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 science
03B35, General logic, Mechanization of proofs and logical operations
68N01, Theory of software, General topics
68V15, Computer science support for mathematical research and practice, Theorem proving
68Q65, Theory of computing, Abstract data types; algebraic specification
03B40, General logic, Combinatory logic and lambda calculus
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
CMI
Salle R
03 LAL (Browse shelf) Available 10649-01
CMI
Salle R
03 LAL (Browse shelf) Available 10649-02

Bibliogr. p. 359-363. Index

There are no comments for this item.

Log in to your account to post a comment.