Related Books
Language: en
Pages: 502
Pages: 502
Type: BOOK - Published: 1996-09-11 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the Eighth International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP '96,
Language: en
Pages: 444
Pages: 444
Type: BOOK - Published: 1997-08-13 - Publisher: Springer Science & Business Media
This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP '97, h
Language: en
Pages: 488
Pages: 488
Type: BOOK - Published: 1995-09-11 - Publisher: Springer Science & Business Media
This book constitutes the proceedings of the Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP '95, held in
Language: en
Pages: 452
Pages: 452
Type: BOOK - Published: 1991-08-14 - Publisher: Springer Science & Business Media
This volume contains the papers which have been accepted for presentation atthe Third International Symposium on Programming Language Implementation andLogic Pr
Language: en
Pages: 206
Pages: 206
Type: BOOK - Published: 2018-03-09 - Publisher: MIT Press
A new edition of a book, written in a humorous question-and-answer style, that shows how to implement and use an elegant little programming language for logic p