Articoli correlati a Logic Programming: Proceedings of the Twelfth International...
Logic Programming: Proceedings of the Twelfth International Conference on Logic Programming: The 12th International Conference - Brossura
Sinossi
Topics covered: Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications.
13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs.
Topics covered: Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications. Logic Programming series, Research Reports and Notes
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.
Risultati della ricerca per Logic Programming: Proceedings of the Twelfth International...
Foto dell'editore
Logic Programming: Proceedings of the Twelfth International Conference on Logic Programming
Editore:
MIT, Cambridge, Mass, 1995
ISBN 10: 0262691779
ISBN 13: 9780262691772
Antico o usato
paperback
Prima edizione
Da: BIBLIOPE by Calvello Books, Oakland, CA, U.S.A.
Valutazione del venditore 3 su 5 stelle
paperback. Condizione: Very fine. 1st (assumed). Quarto; Blue illus.; (xx, 834 pages): illustrations. Association for Logic Programming. International Symposium on Logic Programming; "13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs. Topics covered: Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications." Very fine. Codice articolo 87466
Quantità: 1 disponibili
Immagini fornite dal venditore
Logic Programming: The 12th International Conference (Logic Programming)
Da: Goodwill of Silicon Valley, SAN JOSE, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: very_good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in very good condition! The cover and any other included accessories are also in very good condition showing some minor use. The spine is straight, there are no rips tears or creases on the cover or the pages. Codice articolo GWSVV.0262691779.VG
Quantità: 1 disponibili