Articles liés à Types in Logic Programming

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.