LeafNachhaltiges Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
Gebrauchte & Neue Bücher
Keine Versandkosten
Nachhaltiges Unternehmen
FT Prentice Hall
Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)

Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)

McRobbie, Michael A.

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

49,24 €

Lieferzeit 1-3 Werktage

Kurzinformation
Sprache:
Englisch
ISBN:
9780273087816
Verlag:
FT Prentice Hall
Seitenzahl:
154
Auflage:
-
Erschienen:
1988-01-01
Mit diesem Kauf sparst Du 2,06 kg CO2

Mehr Informationen zum Zustand Green Tree

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.
  • Sauberer Zustand, Seiten und Bindung etwas abgenutzt
  • Knicke oder Markierungen nicht mehr als 5%
  • CDs und Zugangscodes verwendbar
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. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information
Neuware - verlagsfrische aktuelle Buchausgabe.
Neu bestellen bei lehmanns
Natural Handgeprüfte Gebrauchtware
Coins Schnelle Lieferung
Check Faire Preise

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

49,24 €

Lieferzeit 1-3 Werktage

Weitere Zahlungsmöglichkeiten  
Zahlungsarten

Beschreibung

Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)

1988 154 Seiten 23,9 x 16,8 x 1,0 cm, Taschenbuch FT Prentice Hall, Altersfreigabe FSK ab 0 Jahre

Produktdetails

Einband:
paperback
Seitenzahl:
154
Erschienen:
1988-01-01
Sprache:
Englisch
EAN:
9780273087816
ISBN:
9780273087816
Verlag:
FT Prentice Hall
Gewicht:
249 g
Auflage:
-
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

McRobbie, Michael A.

Entdecke mehr vom Verlag

FT Prentice Hall
Gut
49,24 €
Entdecke mehr zum Thema
First-Order Logic and Automated Theorem Proving (Texts & Monographs in Computer Science)
  • hardcover
  • 257 Seiten
  • Erschienen 1990
  • Springer Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
First-Order Logic and Automated Theorem Proving...
Fitting, Melvin
89,48 €
Details
A Formalization of Set Theory Without Variables (COLLOQUIUM PUBLICATIONS (AMER MATHEMATICAL SOC))
  • paperback
  • 318 Seiten
  • Erschienen 1987
  • American Mathematical Society
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
A Formalization of Set Theory Without Variables...
Tarski, Alfred
70,39 €
Details
-30%
Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science, 6, Band 6)
  • paperback
  • 292 Seiten
  • Erschienen 2009
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formal Methods in Artificial Intelligence...
Ramsay, Allan
35,00 € 50,19 €
Details
Mathematical Logic for Computer Science (Prentice-hall International Series in Computer Science)
  • paperback
  • 320 Seiten
  • Erschienen 1993
  • Prentice-Hall
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematical Logic for Computer Science...
Ben-Ari, Mordechai
34,93 €
Details
-98%
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science, 1690, Band 1690)
  • paperback
  • 372 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Theorem Proving in Higher Order Logics: 12th...
Dowek, Gilles
1,04 € 57,23 €
Details
-41%
Mathematical Foundations of Computer Science 2001: 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001 ... Notes in Computer Science, 2136, Band 2136)
  • paperback
  • 740 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematical Foundations of Computer Science...
Pultr, Ales
67,09 € 114,48 €
Details
-10%
Automata, Languages and Programming: Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings (Lecture Notes in Computer Science, 62, Band 62)
  • paperback
  • 520 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Automata, Languages and Programming: Fifth...
B??hm, C.
51,77 € 57,23 €
Details
Foundations of Equational Logic Programming (Lecture Notes in Computer Science)
  • paperback
    • -
  • Erschienen 1990
  • Springer Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Foundations of Equational Logic Programming...
Holldobler, Steffen
252,61 €
Details
Advances in Logic: The North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas (Contemporary Mathematics, 425, Band 425)
  • paperback
  • 150 Seiten
  • Erschienen 2007
  • American Mathematical Society
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Advances in Logic: The North Texas Logic...
Jackson, Steve
114,43 €
Details
-56%
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations
  • Hardcover
  • 534 Seiten
  • Erschienen 1993
  • OUP Oxford
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Handbook of Logic in Artificial Intelligence...
-
217,56 € 496,50 €
Details
-36%
Mathematical Foundations of Computer Science 2005: 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings (Lecture Notes in Computer Science, 3618, Band 3618)
  • paperback
  • 830 Seiten
  • Erschienen 2005
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematical Foundations of Computer Science...
Jedrzejowicz, Joanna
67,95 € 106,99 €
Details
-25%
Logic of Mathematics: A Modern Course of Classical Logic (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)
  • hardcover
  • 272 Seiten
  • Erschienen 1997
  • Wiley-Interscience
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logic of Mathematics: A Modern Course of...
Adamowicz, Zofia
122,65 € 163,36 €
Details
-28%
Contemporary Research in Philosophical Logic and Linguistic Semantics (The Western Ontario Series in Philosophy of Science, Band 4)
  • paperback
  • 346 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Contemporary Research in Philosophical Logic...
Harper, W.L.
123,40 € 171,72 €
Details
-36%
Complexity of Proofs and Their Transformations in Axiomatic Theories (Translations of Mathematical Monographs)
  • hardcover
  • 153 Seiten
  • Erschienen 1993
  • American Mathematical Society
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Complexity of Proofs and Their Transformations...
Orevkov, V. P.
57,85 € 89,88 €
Details
-18%
Mathematische Logik mit Informatik-Anwendungen (Heidelberger Taschenbücher) (German Edition) (Heidelberger Taschenbücher, 187, Band 187)
  • paperback
  • 348 Seiten
  • Erschienen 1977
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematische Logik mit Informatik-Anwendungen...
Bergmann, E.
41,07 € 49,95 €
Details
-72%
The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0 (Csli Lecture Notes)
  • paperback
  • 336 Seiten
  • Erschienen 1993
  • CTR FOR STUDY OF LANG & INFO
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Language of First-Order Logic, Including...
Etchemendy, John
10,81 € 39,00 €
Details
The Logic Programming Paradigm: A 25-Year Perspective (Artificial Intelligence)
  • hardcover
  • 472 Seiten
  • Erschienen 1999
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Logic Programming Paradigm: A 25-Year...
Truszczynski, Mirek
50,58 €
Details
-8%
MODELS PEANO ARITH OLG 15 C (Oxford Logic Guides, Band 15)
  • hardcover
  • 304 Seiten
  • Erschienen 1991
  • Oxford University Press (UK)
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
MODELS PEANO ARITH OLG 15 C (Oxford Logic...
Kaye, Richard
221,72 € 241,53 €
Details
Iteration Theories: The Equational Logic of Iterative Processes (Monographs in Theoretical Computer Science. An EATCS Series)
  • hardcover
  • 645 Seiten
  • Erschienen 1993
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Iteration Theories: The Equational Logic of...
Bloom, Stephen L.
41,30 €
Details
-78%
Handbook of Philosophical Logic: Elements of Classical Logic
  • Gebundene Ausgabe
  • 497 Seiten
  • Erschienen 1983
  • Kluwer Academic Publishers
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Handbook of Philosophical Logic: Elements of...
-
23,29 € 105,93 €
Details
Fibring Logics (Oxford Logic Guides, 38, Band 38)
  • hardcover
  • 492 Seiten
  • Erschienen 1998
  • OUP Oxford
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Fibring Logics (Oxford Logic Guides, 38, Band 38)
Gabbay, Dov M.
111,89 €
Details
Closure Spaces and Logic (Mathematics and Its Applications, 369, Band 369)
  • hardcover
  • 248 Seiten
  • Erschienen 1996
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Closure Spaces and Logic (Mathematics and Its...
Martin, N.M.
67,29 €
Details
First-order Logic (Dover Books on Mathematics)
  • paperback
  • 176 Seiten
  • Erschienen 1995
  • Dover Publications Inc.
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
First-order Logic (Dover Books on Mathematics)
Smullyan, Raymond M.
13,11 €
Details
Almost Free Modules: Set Themetic Methods: Set-Theoretic Methods (North-holland Mathematical Library)
  • hardcover
  • 480 Seiten
  • Erschienen 1990
  • North-Holland
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Almost Free Modules: Set Themetic Methods:...
Mekler, Alan H.
110,71 €
Details
-32%
Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science, 1287, Band 1287)
  • paperback
  • 388 Seiten
  • Erschienen 2008
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formal Hardware Verification: Methods and...
Kropf, Thomas
38,93 € 57,23 €
Details
Number Theory Arising from Finite Fields: Analytic and Probabilistic Theory (LECTURE NOTES IN PURE AND APPLIED MATHEMATICS)
  • hardcover
  • 404 Seiten
  • Erschienen 2001
  • CRC Press Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Number Theory Arising from Finite Fields:...
Knopfmacher, John
215,48 €
Details
What Is a Logical System? (STUDIES IN LOGIC AND COMPUTATION, Band 4)
  • hardcover
  • 468 Seiten
  • Erschienen 1995
  • OUP Oxford
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
What Is a Logical System? (STUDIES IN LOGIC AND...
Gabbay, D. M.
58,40 €
Details
-75%
Logik und Grundlagen der Mathematik, Band 22: Klassische und nichtklassische Aussagenlogik
  • Kartoniert
  • 376 Seiten
  • Erschienen 1979
  • Vieweg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logik und Grundlagen der Mathematik, Band 22:...
Rautenberg, Wolfgang
11,32 € 44,99 €
Details
-71%
Frege's Theorem
  • hardcover
  • 322 Seiten
  • Erschienen 2011
  • OUP Oxford
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Frege's Theorem
Heck, Richard G.
30,25 € 103,90 €
Details
Computability and Logic
  • paperback
  • 320 Seiten
  • Erschienen 1989
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computability and Logic
Jeffrey, Richard C.
13,51 €
Details
Algorithmic Methods for Artificial Intelligence (New Technological Modular S)
  • hardcover
  • 146 Seiten
  • Erschienen 1987
  • Kogan Page Ltd
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Algorithmic Methods for Artificial Intelligence...
Palissier, Carol
50,24 €
Details
-26%
Problemlösende Argumentketten: Ein Modell der Forschung
  • hardcover
  • 288 Seiten
  • Erschienen 2008
  • Velbrück GmbH
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Problemlösende Argumentketten: Ein Modell der...
Roland Burkholz
3,72 € 5,00 €
Details
-27%
Theoretische Informatik
  • paperback
  • 252 Seiten
  • Erschienen 1993
  • Vieweg+Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Theoretische Informatik
Wegener, Ingo
36,56 € 49,95 €
Details
-17%
Grenzen der Mathematik: Eine Reise durch die Kerngebiete der mathematischen Logik
  • Kartoniert
  • 441 Seiten
  • Erschienen 2018
  • Springer Spektrum
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Grenzen der Mathematik: Eine Reise durch die...
Hoffmann, Dirk W.
33,05 € 39,99 €
Details
Galois Theories (Cambridge Studies in Advanced Mathematics)
  • hardcover
  • 356 Seiten
  • Erschienen 2001
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Galois Theories (Cambridge Studies in Advanced...
Borceux, Francis
91,90 €
Details
-91%
Model Theory (= Omega-Bibliography of Mathematical Logic - Perspectives in Mathematical Logic - Volume III)
  • hardcover
  • 662 Seiten
  • Erschienen 1987
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Model Theory (= Omega-Bibliography of...
Lenski, Wolfgang
7,88 € 85,59 €
Details
-27%
Algorithmic Algebraic Number Theory (Encyclopedia of Mathematics & Its Applications)
  • paperback
  • 516 Seiten
  • Erschienen 2010
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Algorithmic Algebraic Number Theory...
Pohst, M.
77,67 € 106,21 €
Details
-77%
Finite Model Theory (Perspectives in Mathematical Logic)
  • hardcover
  • 342 Seiten
  • Erschienen 1995
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Finite Model Theory (Perspectives in...
Flum, Jörg
19,72 € 85,59 €
Details
-31%
Approximation Theorems in Commutative Algebra: Classical and Categorical Methods (Mathematics and its Applications, 59, Band 59)
  • hardcover
  • 348 Seiten
  • Erschienen 1992
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Approximation Theorems in Commutative Algebra:...
Mockor, J.
73,13 € 105,50 €
Details