Articoli correlati a Advances in Logic Programming and Automated Reasoning...
Sinossi
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 "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Advances in Logic Programming and Automated Reasoning...
Foto dell'editore
Advances in Logic Programming and Automated Reasoning
Da: Wonder Book, Frederick, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo R05OS-00596
Quantità: 1 disponibili
Foto dell'editore
Advances in Logic Programming and Automated Reasoning
Da: PAPER CAVALIER US, Brooklyn, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: as new. Appears unread. May have a retail sticker on back cover or remainder mark on the text block. Codice articolo 9780893916831-2
Quantità: 1 disponibili