Caferra, Ricardo

Automated Deduction in Classical and Non-Classical Logics

Selected Papers
Automated Deduction in Classical and Non-Classical Logics

Gebrauchte Bücher kaufen

Information
Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.
Information
Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf.

Neues Buch oder eBook (pdf) kaufen

Information
Neuware - verlagsfrische aktuelle Buchausgabe.
Zustand : Neu
74,89 €

inkl. MwSt. zzgl. Versandkosten

Lieferzeit 1 Werktag(e)

9783540671909

Die Studibuch Philosophie

Wissen zu fairen Preisen, nachhaltig weitergeben.

Verwandte Sachgebiete

Produktdetails mehr
Einband: Kartoniert
Seitenzahl: 312
Erschienen: 2000-02-09
Sprache: Englisch
EAN: 9783540671909
ISBN: 3540671900
Reihe:
Verlag: -
Gewicht: 476 g
Thisvolumeisacollectionofpapers onautomateddeduction inclassical,modal, and many-valued logics,... mehr
Produktinformationen "Automated Deduction in Classical and Non-Classical Logics"
Thisvolumeisacollectionofpapers onautomateddeduction inclassical,modal, and many-valued logics, with an emphasis on rst-order theories. Some authors bridgethe gaptohigher-order logicbydealingwithsimpletype theory ina r- order setting, or by resolving shortcomings of r st-order logic with the help of higher-order notions. Most papers rely on resolution or tableaux methods, with a few exceptions choosing the equational paradigm. In its entirety the volume is a mirror of contemporary research in r st-order theorem proving. One trend to be observed is the interest in e ective decision procedures. The main aim of rs t-order theorem proving was and still is to demonstrate the validity or unsatisa bility of formulas, by more and more - phisticatedmethods. Withinthelastyears,however,theothersideofthemedal{ falsi abilityand satisab ility { has r eceived growing attention. Though in g- eral non-terminating, theorem provers sometimes act as decision procedures on subclasses ofrs t-order logic. Inparticularcases theiroutputcanevenbeused to extract n ite representations of models or counter-examples. Another devel- mentistheextension ofdeductiontechniquesfromclassicallogictomany-valued and modal logics. By suitably generalizing classical concepts many results carry over to non-classical logics. This line of research is stimulated by artici al int- ligence with its need for more expressive logics capable of modeling real-world reasoning. From a formal point of view this volume comprises two types of papers, invited and contributed ones. Gilles Dowek, Melvin Fitting, Deepak Kapur, Alexander Leitsch, and David Plaisted accepted our invitation to present recent developments in and their view of the e ld. Contributed papers on the other hand underwent a two-staged selection process. von Caferra, Ricardo
Weiterführende Links zu "Automated Deduction in Classical and Non-Classical Logics"
Bewertungen lesen, schreiben und diskutieren... mehr
Kundenbewertungen für "Automated Deduction in Classical and Non-Classical Logics"
Bewertung schreiben
Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.

Caferra, Ricardo mehr
Zuletzt angesehen