A Many-Sorted Calculus Based on Resolution and Paramodulation (PDF)
(Sprache: Englisch)
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...
This book considers some first-order calculus that...
sofort als Download lieferbar
eBook (pdf)
25.70 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „A Many-Sorted Calculus Based on Resolution and Paramodulation (PDF)“
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.
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.
Bibliographische Angaben
- Autor: Christoph Walther
- 2014, 170 Seiten, Englisch
- Verlag: Elsevier Science & Techn.
- ISBN-10: 1483258939
- ISBN-13: 9781483258935
- Erscheinungsdatum: 10.07.2014
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 7.53 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "A Many-Sorted Calculus Based on Resolution and Paramodulation"
Schreiben Sie einen Kommentar zu "A Many-Sorted Calculus Based on Resolution and Paramodulation".
Kommentar verfassen