Related Books
Language: en
Pages: 417
Pages: 417
Type: BOOK - Published: 2007-04-27 - Publisher: Springer Science & Business Media
This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developi
Language: en
Pages: 884
Pages: 884
Type: BOOK - Published: 1993 - Publisher: MIT Press
The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, app
Language: en
Pages: 282
Pages: 282
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media
Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the current supp
Language: en
Pages: 880
Pages: 880
Type: BOOK - Published: 1994 - Publisher:
Lists citations with abstracts for aerospace related reports obtained from world wide sources and announces documents that have recently been entered into the N
Language: en
Pages: 587
Pages: 587
Type: BOOK - Published: 2004-01-13 - Publisher: Springer Science & Business Media
This book constitutes the thoroughly refereed postconference proceedings of the 5th International Andrei Ershov Memorial Conference, PSI 2003, held in Akademgor
