Types in Logic Programming - Couverture souple

 
9780262519939: Types in Logic Programming

Synopsis

This collection of original research papers assesses and summarizes the impact of types on logic programming.

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

À propos de l?auteur

Frank Pfenning is Research Computer Scientist in the School of Computer Science at Carnegie Mellon University.

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

Autres éditions populaires du même titre

9780262161312: Types in Logic Programming

Edition présentée

ISBN 10 :  0262161311 ISBN 13 :  9780262161312
Editeur : The MIT Press, 1992
Couverture rigide