Artículos relacionados a Types in Logic Programming

Types in Logic Programming - Tapa blanda

 
9780262519939: Types in Logic Programming

Sinopsis

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

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del autor

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

"Sobre este título" puede pertenecer a otra edición de este libro.