Types in Logic Programming - Brossura

Brossura

ISBN 10: 0262519933 ISBN 13: 9780262519939

Casa editrice: MIT Press, 1992

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.

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.

Editore: MIT Press
Data di pubblicazione: 1992
Lingua: Inglese
ISBN 10: 0262519933
ISBN 13: 9780262519939
Rilegatura: Copertina flessibile
Numero di pagine: 380
Redattore: Pfenning Frank
Contatto del produttore: non disponibile
Persona responsabile: Purmerul LTD
https://strengholt.nl/en/

22 Liuleburgaz Str., floor 4, app. 9
Plovdiv
4000
Bulgaria