Types in Logic Programming

Frank Pfenning

ISBN 10: 0262519933 / ISBN 13: 9780262519939

Editore: MIT Press, 1992

Riguardo questo articolo

380 pages. 8.90x7.20x1.00 inches. In Stock. Codice articolo zk0262519933

Dati bibliografici

Titolo: Types in Logic Programming

Casa editrice: MIT Press

Data di pubblicazione: 1992

Legatura: Paperback

Condizione: Brand New

Descrizione articolo

Riassunto:

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

Informazioni sull?autore:

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