Logical Environments - Couverture rigide

 
9780521433129: Logical Environments
Couverture rigide
ISBN 10 : 0521433126 ISBN 13 : 9780521433129
Editeur : Cambridge University Press, 1993

Synopsis

In Logical Frameworks, Huet and Plotkin gathered contributions from the first International Workshop on Logical Frameworks. This volume has grown from the second workshop, and as before the contributions are of the highest calibre. Four main themes are covered: the general problem of representing formal systems in logical frameworks, basic algorithms of general use in proof assistants, logical issues, and large-scale experiments with proof assistants. Any mathematician or computer scientist whose research interests lie in the development of the interplay between logic and software engineering will not be able to do without this book.

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

Présentation de l'éditeur

In Logical Frameworks, Huet and Plotkin gathered contributions from the first International Workshop on Logical Frameworks. This volume has grown from the second workshop, and as before the contributions are of the highest calibre. Four main themes are covered: the general problem of representing formal systems in logical frameworks, basic algorithms of general use in proof assistants, logical issues, and large-scale experiments with proof assistants. Any mathematician or computer scientist whose research interests lie in the development of the interplay between logic and software engineering will not be able to do without this book.

Revue de presse

"The research of logical frameworks probably has a long future ahead, and the reviewed volume provides truthful information about the first steps into this wide field." Journal of Symbolic Logic

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

Éditeur
Cambridge University Press
Date d'édition
1993
Langue
anglais
ISBN 10 
0521433126
ISBN 13 
9780521433129
Reliure
Relié
Nombre de pages
352
Éditeur
Huet Gerard, Plotkin Gordon
Coordonnées du fabricant
non disponible
Personne responsable
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
France