Logic Programming: Proceedings of the Fourth International Conference: 4th - Brossura

 
9780262121255: Logic Programming: Proceedings of the Fourth International Conference: 4th

Sinossi

The 45 contributions in this book consider all aspects of logic programming, including theory and foundations; architectures and implementations; programming languages and methodology; databases; knowledge representation, reasoning, and expert systems; and relations to other computation models, programming languages, and programming methodologies. There are chapters on novel applications and on applications that address the unique character of logic programming.

Invited speakers are Keith Clark (Imperial College, London), Herve Gallaire (ECRC, Munich), Fernando Pereira, (SRI International), K. R. Rao (University of Melbourne), J. Alan Robinson (Syracuse University), and Masahiko Sato (Tohoku University).

Jean-Louis Lassez is a Research Scientist with IBM's Thomas J. Watson Research Center. Logic Programming: Proceedings of the Fourth International Conference is included in the series Logic Programming (Research Reports and Notes), edited by Ehud Shapiro.

Two-volume set

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

Book by None

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9780262121293: Logic Programming: Proceedings of the Fourth International Conference: 002

Edizione in evidenza

ISBN 10:  0262121298 ISBN 13:  9780262121293
Casa editrice: Mit Pr, 1987
Brossura