Téléchargez le livre : A Many-Sorted Calculus Based on Resolution and Paramodulation

A Many-Sorted Calculus Based on Resolution and Paramodulation



de

Éditeur :

Morgan Kaufmann


Paru le : 2014-07-10



eBook Téléchargement ebook sans DRM
26,32 €
Téléchargement immédiat
Dès validation de votre commande
Ajouter à ma liste d'envies
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
Description
A Many-Sorted Calculus Based on Resolution and Paramodulation emphasizes the utilization of advantages and concepts of many-sorted logic for resolution and paramodulation based automated theorem proving. This book considers some first-order calculus that defines how theorems from given hypotheses by pure syntactic reasoning are obtained, shifting all the semantic and implicit argumentation to the syntactic and explicit level of formal first-order reasoning. This text discusses the efficiency of many-sorted reasoning, formal preliminaries for the RP- and ?RP-calculus, and many-sorted term rewriting and unification. The completeness and soundness of the ?RP-calculus, sort theorem, and automated theorem prover for the ?RP-calculus are also elaborated. This publication is a good source for students and researchers interested in many-sorted calculus.
Pages
170 pages
Collection
n.c
Parution
2014-07-10
Marque
Morgan Kaufmann
EAN papier
9780273087182
EAN PDF SANS DRM
9781483258935
Informations sur l'ebook
Ce livre est accessible aux handicaps Voir les informations sur l'accessibilité
Prix
26,32 €

Suggestions personnalisées