Vertel uw vrienden over dit artikel:
Logical Frameworks Gerard Huet
Logical Frameworks
Gerard Huet
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks.
416 pages, black & white illustrations
| Media | Boeken Hardcover Book (Boek met harde rug en kaft) |
| Vrijgegeven | 26 september 1991 |
| ISBN13 | 9780521413008 |
| Uitgevers | Cambridge University Press |
| Pagina's | 416 |
| Afmetingen | 152 × 229 × 27 mm · 690 g (Gewicht (geschat)) |
| Taal en grammatica | Engels |
| Uitgever | Huet, Gerard (Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt) |
| Uitgever | Plotkin, G. (University of Edinburgh) |