Normal view MARC view ISBD view

Handbook of logic in computer science, Vol. 2, background, computational structures / S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum

Auteur secondaire : Abramsky, Samson, 1953-, Editeur scientifique • Gabbay, Dov M., 1945-, Editeur scientifique • Maibaum, Thomas S. E., 1947-, Editeur scientifiqueType de document : MonographieCollection : Oxford science publicationsLangue : anglais.Pays : Grande Bretagne.Éditeur : Oxford : Clarendon Press, 1992Description : 1 vol. (X-571 p.) : ill. ; 24 cmISBN : 0198537611.Bibliographie : Notes bibliogr..Sujet MSC : 03D03, Computability and recursion theory, Thue and Post systems, etc.
03B40, General logic, Combinatory logic and lambda calculus
03B35, General logic, Mechanization of proofs and logical operations
03B70, General logic, Logic in computer science
En-ligne : zbMath | MSN
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 ABR (Browse shelf) Available 11167-01

Notes bibliogr.

There are no comments for this item.

Log in to your account to post a comment.