Articoli correlati a Types in Logic Programming

Types in Logic Programming - Brossura

 
9780262519939: Types in Logic Programming

Sinossi

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

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

Informazioni sull'autore

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

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