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.

Otras ediciones populares con el mismo título

9780262161312: Types in Logic Programming

Edición Destacada

ISBN 10:  0262161311 ISBN 13:  9780262161312
Editorial: MIT Press, 1992
Tapa dura