This series reviews research contributions in logic programming and automated reasoning and is desinged to stimulate and sustain new, productive lines of investigation into symbolic and algebraic computing techniques as they relate to logic programming and automate reasoning. Topics covered include equational reasoning, parallel programming in logic, term rewriting systems, control of logic programs, completion procedures, unification and matching algorithms, design and implementation of deduction systems, logical methods of knowledge representation, logic-based inference techniques, and programs synthesis and verification.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
EUR 8,82 expédition depuis Etats-Unis vers France
Destinations, frais et délaisVendeur : PAPER CAVALIER US, Brooklyn, NY, Etats-Unis
Etat : as new. Appears unread. May have a retail sticker on back cover or remainder mark on the text block. N° de réf. du vendeur 9780893916831-2
Quantité disponible : 1 disponible(s)
Vendeur : Wonder Book, Frederick, MD, Etats-Unis
Etat : Good. 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. N° de réf. du vendeur R05OS-00596
Quantité disponible : 1 disponible(s)