Gesamtpreis (1 Artikel Artikel):
Versandziel:
non classical logics (92 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (92)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (3)
- Angebotsfoto (42)
Sprache (2)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Automated Theorem-Proving in Non-Classical Logics (Research Notes in Theoretical Computer Science)
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
-
Automated Theorem-Proving in Non-Classical Logics (Research Notes in Theoretical Computer Science)
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. 154 pp., paperback, very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Automated Deduction in Classical and Non-Classical Logics : Selected Papers
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 2000
ISBN 10: 3540671900 ISBN 13: 9783540671909
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Automated Deduction in Classical and Non-Classical Logics : Selected Papers
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 2000
ISBN 10: 3540671900 ISBN 13: 9783540671909
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Journal of Applied Logics - The IfCoLog Journal of Logics and their Applications: Volume 6, Issue 2, March 2019: The 3rd Israeli Workshop on Non-classical Logics and their Applications (IsraLog 2017)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 20,07
EUR 13,88 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Algebraic and Proof-theoretic Aspects of Non-classical Logics
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 26,99
EUR 7,53 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 324 Illus.
-
Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 4460).
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
Verbandsmitglied: GIAQ ILAB VDA
Verkäuferbewertung 4 von 5 Sternen
2007th ed. 15 x 23 cm. 320 pages. SC Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
-
Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Anbieter: Redux Books, Grand Rapids, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: New. An Unused, unmarked and unblemished copy. Still in plastic packaging!; 100% Satisfaction Guaranteed! Ships same or next business day!
-
Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics.
Anbieter: Kloof Booksellers & Scientia Verlag, Amsterdam, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: very good. Cambridge, Mass. : MIT Press, 1990. Hardcover. Dustjacket. 239 pp. Library stamp. This book develops and demonstrates efficient matrix proof methods for automated deduction within an important and comprehensive class of first order and intuitionistic logics. Traditional techniques for the design of efficient proof systems are abstracted from their original setting which allows their application to a wider class of mathematical logic. The logics discussed are used throughout computer science and artificial intelligence. Contents: Introduction I. Automated Deduction in Classical Logic. Proof search in classical sequent calculi. A matrix characterization of classical validity. II. Automated Proof Deduction in Modal Logics. The semantics and proof theory of modal logics. Proof search in modal sequent calculi. Matrix characterizations of modal validity. Alternative proof methods for modal logics. Matrix based proof search. III. Automated Deduction in Intuitionistic Logic. A Matrix proof method. Conclusions. Condition : very good copy. ISBN 9780262231442. Keywords : COMPUTER SCIENCE, artificial intelligence (AI) Logic (Symbolic and mathematical) Logic programming.
-
Algebraic And Proof-theoretic Aspects Of Non-classical Logics: Papers In Honor Of Daniele Mundici On The Occasion Of His 60th Birthday
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
A generalization of a formalized theory of fields of sets on non-classical logics [Rozprawy Matematyczne XLII]
Verlag: Panstwowe Wydawnictwo Naukowe (Nationaler Wissenschaftlicher Verlag), Warszawa, 1964
Anbieter: Versandantiquariat Hösl, Neuried, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Gut. kartoniert Nr. 42 der mathematischen Dissertation, herausgegeben von Mathematischen Institut der Polnischen Akademie der Wissenschaften. Originalkarton, vorn am rechten Rand etwas verkinttert; die Seiten sind am oberen Eck leicht gestaucht, ansonsten sauber und gut. Helena Rasiowa (* 20. Juni 1917 in Wien; 9. August 1994 in Warschau) war eine polnische Mathematikerin. (Wikipedia) Die vorliegende Arbeit ist nicht ihre Dissertation, sie promovierte sich schon 1950 mit der Arbei t'Algebraic Treatment of the Functional Calculus of Lewis and Heyting' Sprache / Language: en 30 Seiten. ca. 25,2 x 17,8 cm.
-
Automated Proof Search in Non-Classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Mit Press Series in Artificial I)
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Gut. 239 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 23,1 x 17,8 x 2,3 cm, Gebundene Ausgabe.
-
Non-classical logics, model theory, and computability proceedings of the third Latin-American symposium on mathematical logic. Studies in logic and the foundations of mathematics 89.
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 NON 9780720407525 Sprache: Englisch Gewicht in Gramm: 1150.
-
Non-classical logics, model theory, and computability proceedings of the third Latin-American symposium on mathematical logic. Studies in logic and the foundations of mathematics 89.
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 NON 9780720407525 Sprache: Englisch Gewicht in Gramm: 550.
-
Belief Revision in Non-Classical Logics (SpringerBriefs in Computer Science)
Buch 38 von 322: SpringerBriefs in Computer ScienceAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 58,87
EUR 13,88 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 4460)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,60
EUR 13,88 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science, 1761)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,60
EUR 13,88 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
?-Bibliography of Mathematical Logic: Non-Classical Logics (Perspectives in Mathematical Logic)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,60
EUR 13,88 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Non-Classical Logics and their Applications to Fuzzy Subsets: A Handbook of the Mathematical Foundations of Fuzzy Set Theory (Theory and Decision Library B)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,60
EUR 13,88 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Automated theorem-proving in non-classical logics.
Anbieter: Antiquariat Haufe & Lutz, Karlsruhe, BW, Deutschland
Verkäuferbewertung 4 von 5 Sternen
8°. 154 S. mit graphischen Darstellungen. OKart. (Research notes in theoretical computer science). Gutes Exemplar. Sprache: englisch.
-
Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics.
Anbieter: Kloof Booksellers & Scientia Verlag, Amsterdam, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: as new. Cambridge, MA.: The MIT Press, 1990. Hardcover. Dustjacket. xv,239 pp. - This book develops and demonstrates efficient matrix proof methods for automated deduction within an important and comprehensive class of first order and intuitionistic logics. Traditional techniques for the design of efficient proof systems are abstracted from their original setting which allows their application to a wider class of mathematical logic. The logics discussed are used throughout computer science and artificial intelligence. Contents: Introduction I. Automated Deduction in Classical Logic. Proof search in classical sequent calculi. A matrix characterization of classical validity. II. Automated Proof Deduction in Modal Logics. The semantics and proof theory of modal logics. Proof search in modal sequent calculi. Matrix characterizations of modal validity. Alternative proof methods for modal logics. Matrix based proof search. III. Automated Deduction in Intuitionistic Logic. A Matrix proof method. Conclusions. Condition : as new copy. ISBN 9780262231442. Keywords : PHILOSOPHY,
-
Belief Revision in Non-classical Logics
Buch 38 von 322: SpringerBriefs in Computer ScienceSprache: Englisch
Verlag: Springer-Verlag New York Inc, 2012
ISBN 10: 1447141857 ISBN 13: 9781447141853
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 76,36
EUR 11,58 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2013 edition. 131 pages. 9.25x6.10x0.30 inches. In Stock.
-
Automated Deduction in Classical and Non-Classical Logics: Selected Papers
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 79,13
EUR 11,58 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 297 pages. 9.25x6.00x0.75 inches. In Stock.
-
Algebraic and Proof-theoretic Aspects of Non-classical Logics: Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2007
ISBN 10: 3540759387 ISBN 13: 9783540759386
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 79,54
EUR 11,58 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 309 pages. 9.29x6.06x0.79 inches. In Stock.
-
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics (Outstanding Contributions to Logic, 24)
Anbieter: Caveat Emptor Used and Rare Books, Bloomington, IN, USA
Verkäuferbewertung 4 von 5 Sternen
Erstausgabe
Hardcover. Zustand: Near Fine. 1st Edition.
-
Interval / Probabilistic Uncertainty and Non-Classical Logics
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Automated Deduction in Classical and Non-Classical Logics
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2000
ISBN 10: 3540671900 ISBN 13: 9783540671909
EUR 48,37
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
EUR 48,37
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New.
-
Bibliography of Mathematical Logic: Non-classical Logics
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 87,08
EUR 17,38 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 508 pages. 11.00x8.30x1.18 inches. In Stock.
-
Non-Classical Logics and their Applications to Fuzzy Subsets: A Handbook of the Mathematical Foundations of Fuzzy Set Theory (Theory and Decision Library B)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 93,61
EUR 13,88 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
![Bild des Verkäufers für A generalization of a formalized theory of fields of sets on non-classical logics [Rozprawy Matematyczne XLII] zum Verkauf von Versandantiquariat Hösl](https://pictures.abebooks.com/inventory/md/md32089939121.jpg)