Good condition. Volume 1. A copy that has been read but remains intact. May contain markings such as bookplates, stamps, limited notes and highlighting, or a few light stains. Codice articolo R05OS-00596

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo: Advances in Logic Programming and Automated ...

Casa editrice: Intellect Ltd

Data di pubblicazione: 1992

Legatura: Rilegato

Condizione: Good

Descrizione articolo

Riassunto:

Begins a series reporting new research on the methods of logic in computer science, designed to stimulate and sustain productive lines of investigation into the theory and applications of symbolic and algebraic computing techniques related to logic programming and automated deduction. The eight articles discuss parallel deduction methods using connection graphs, order-sorted equational logic programming, an automated decision procedure based on the notion of the semantic tableau, and other topics. The price to individuals is $35. Annotation copyright Book News, Inc. Portland, Or.

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

Descrizione libreria

With 3 stores less than 1 hour outside the DC/Metropolitan area (1 in Gaithersburg, 1 in Frederick and 1 in Hagerstown, MD), we have the largest selection of books in the tri-state area. Wonder Book and Video has been in business since 1980 and online since 1997. We have over 1 Million books for sale on our website and another 1 Million books for sale in our 3 locations. Items on Abe are not necessarily in stock at our retail locations. Please do not call the stores to place orders for Abe Books sales. We have a very active online inventory and as such, we can receive multiple orders for the same item. We fill those orders on a first come first serve basis, but will refund promptly any items that are out of stock. Since 1980 it has always been about the books. ALL kinds of books from 95 cent children's paperbacks to five figure rare and collectibles. A merging of the old and new is where we started, and it is where we are today. Our retail stores have always been places where a reader can rush in looking for a title needed for a term paper that is due the next day, or where bibliophiles can get lost "in the stacks" for as long as they wish. In 2002 USAToday recognized us as "1 of 10 Great Old Bookstores", and we have been featured in numerous other newspaper and TV stories including Washington Post and CSpan. Members ABAA, ILAB.

Visita la pagina della libreria

Membro dell'associazione

I librai membri di queste associazioni si distinguono per elevata competenza e professionalit�. Garantiscono l'autenticit� di tutti gli articoli messi in vendita. Forniscono descrizioni approfondite e dettagliate, rivelano tutti i difetti e / o restauri rilevanti, forniscono prezzi chiari e precisi e operano con correttezza e onest� durante l'esperienza di acquisto.

Informazioni sull?azienda del venditore

Wonder Book
Wonder Book and Video, 1550 Tilco Drive, Frederick, MD, 21704, U.S.A.

Condizioni di vendita:

We want you to be satisfied with the book you order. Our general description is
conservative and the book should be as good or better than our general
description
may indicate.

As we often get many requests for the same book, in some cases the book may
already be sold. We will email you regarding the availability.

RETURNS are cheerfully accepted up to 30 days. We ship out within 1-2 business
days and U.S. Standard Shipments usually arrive within 6-9 business days,
Priority 3-6. We want you to be...

Ulteriori informazioni

Condizioni di spedizione:

STANDARD DOMESTIC U.S. SHIPPING IS FREE. Priority Shipping is only $6.99 for first item, $1 each additional. Orders ship within 2 business days. Shipping outside of U.S. is typically between $8-13 and takes between 8-15 business days. Heavier books may require additional shipping. Faster Needs Please Inquire.

Metodi di pagamento
accettati dalla libreria

Aggiungi ai desiderata

Articoli correlati a Advances in Logic Programming and Automated Reasoning

Advances in Logic Programming and Automated Reasoning

Ralph W. Wilkerson

Usato - Rilegato

Informazioni sull?azienda del venditore