Logical Environments - Rilegato

 
9780521433129: Logical Environments
Rilegato
ISBN 10: 0521433126 ISBN 13: 9780521433129
Casa editrice: Cambridge University Press, 1993

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Recensione

"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

Descrizione del libro

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Cambridge University Press
Data di pubblicazione
1993
Lingua
Inglese
ISBN 10 
0521433126
ISBN 13 
9780521433129
Rilegatura
Copertina rigida
Numero di pagine
352
Redattore
Huet Gerard, Plotkin Gordon
Contatto del produttore
non disponibile
Persona responsabile
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
Francia