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

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo

Logic Programming: Proceedings of the Twelfth International Conference on Logic Programming

Editore

MIT, Cambridge, Mass

Data di pubblicazione

1995

Lingua

Inglese

ISBN 10

0262691779

ISBN 13

9780262691772

Rilegatura

paperback

Edizione

1st (assumed).

Condizione

Very fine

Cataloghi dei venditori

Science, Technology & Computers

Descrizione articolo

Riassunto

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.

Product Description

Book by None

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

Descrizione libreria

Please visit us at Bibliope.com. You will be price-pleased! I have been buying & selling used and rare books since 1987, and selling on ABE since 1997. Your orders are very well-packed, and ship from Oakland, California, via the United Stated Postal Service, or UPS, and usually within 1-2 business days. We are mail-order only.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

BIBLIOPE by Calvello Books
CA, U.S.A.

Condizioni di vendita e spedizione

Condizioni di vendita

Books may be placed on reserve for one week. We pack all orders ourselves and, with nearly thirty years in the trade, strive to describe our books as accurately as possible. Refunds may be issued if an item is not as described and is returned in same condition as originally shipped. We accept most major credit cards, checks, money orders, Zelle. We also accept CashApp, Venmo and Paypal. For Paypal, additional nominal fees of approximately 2.5% may apply in order to cover Paypal's 5% commission.

Diritto di recesso

Condizioni di spedizione

Orders usually ship within 2-3 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or over-sized, we may contact you to let you know that extra shipping is required. See SHIPPING TERMS above. www.calvellobooks.com

Tariffe di spedizione nazionale per U.S.A.

Tariffe di spedizione nazionale per U.S.A.
Quantit� dell?ordine	Da 5 a 14 giorni lavorativi	Da 3 a 6 giorni lavorativi
Primo articolo	EUR 4.24	EUR 8.50

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.