Types in Logic Programming - Softcover

 
9780262519939: Types in Logic Programming

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

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

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

9780262161312: Types in Logic Programming

Vorgestellte Ausgabe

ISBN 10:  0262161311 ISBN 13:  9780262161312
Verlag: MIT Press, 1992
Hardcover