Logical Environments

ISBN 10: 0521433126 / ISBN 13: 9780521433129

Edité par Cambridge University Press, 1993

Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. N° de réf. du vendeur 6134666-6

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.

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.

Détails bibliographiques

Titre : Logical Environments
Éditeur : Cambridge University Press
Date d'édition : 1993
Reliure : Couverture rigide
Etat : Very Good