Articles liés à Logical Frameworks

Logical Frameworks - Couverture rigide

 
9780521413008: Logical Frameworks
Couverture rigide
ISBN 10 : 0521413001 ISBN 13 : 9780521413008
Editeur : Cambridge University Press, 1991

Synopsis

This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.

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

Présentation de l'éditeur

This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.

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
1991
Langue
anglais
ISBN 10 
0521413001
ISBN 13 
9780521413008
Reliure
Relié
Nombre de pages
416
Éditeur
Huet Gerard, Plotkin G.
Coordonnées du fabricant
non disponible
Personne responsable
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
France