Articles liés à Logic and Computer Science: Lectures given at the 1st...

Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 - Couverture souple

Homer, Steven; Nerode, Anil

 
9783662180662: Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
Couverture souple
ISBN 10 : 3662180669 ISBN 13 : 9783662180662
Editeur : Springer, 2014

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

The isomorphism conjecture and its generalizations.- Some lectures on intuitionistic logic.- Making computers safe for the world: An introduction to proofs of programs part I.- Prolog Programming.- A guide to polymorphic types.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2014
Langue
anglais
ISBN 10 
3662180669
ISBN 13 
9783662180662
Reliure
Paperback
Coordonnées du fabricant
non disponible

(Aucun exemplaire disponible)

Chercher:



Créez une demande

Vous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !

Créez une demande

Autres éditions populaires du même titre

9783540527343: Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988

Edition présentée

ISBN 10 :  3540527346 ISBN 13 :  9783540527343
Editeur : Springer, 2009
Couverture souple