Logical Environments - Tapa dura

 
9780521433129: Logical Environments
Tapa dura
ISBN 10: 0521433126 ISBN 13: 9780521433129
Editorial: Cambridge University Press, 1993

Sinopsis

Proceedings of the second International Workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science.

"Sinopsis" puede pertenecer a otra edición de este libro.

Críticas

"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

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Cambridge University Press
Año de publicación
1993
Idioma
Inglés
ISBN 10 
0521433126
ISBN 13 
9780521433129
Encuadernación
Tapa dura
Número de páginas
352
Editor
Huet Gerard, Plotkin Gordon
Contacto del fabricante
no disponible
Persona responsable
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
Francia