Advances In Logic Programming And Automated Reasoning
Download Advances In Logic Programming And Automated Reasoning PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Advances In Logic Programming And Automated Reasoning book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Advances in Logic Programming and Automated Reasoning
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.
Handbook of Practical Logic and Automated Reasoning
Author: John Harrison
language: en
Publisher: Cambridge University Press
Release Date: 2009-03-12
A one-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.