Types in Logic Programming - Brossura

 
9780262519939: Types in Logic Programming
Brossura
ISBN 10: 0262519933 ISBN 13: 9780262519939
Casa editrice: MIT Press, 1992

Sinossi

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.

Informazioni sull?autore

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

Altre edizioni note dello stesso titolo

9780262161312: Types in Logic Programming

Edizione in evidenza

ISBN 10:  0262161311 ISBN 13:  9780262161312
Casa editrice: Mit Pr, 1992
Rilegato