Um Studibuch in vollem Umfang nutzen zu können, empfehlen wir Dir Javascript in Deinem Browser zu aktiveren.

Nachhaltiges Unternehmen

Faire Preise

Schneller und kostenloser Versand ab 14,90 € Bestellwert

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,26 €

Lieferzeit 1-3 Werktage

FT Prentice Hall

Kurzinformation

Sprache:

Englisch

ISBN:

9780273087816

Verlag:

FT Prentice Hall

Seitenzahl:

154

Auflage:

-

Erschienen:

1988-01-01

Mit diesem Kauf sparst Du 2,06 kg CO₂

Mehr Informationen zum Zustand

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.

Gut 49,26 €

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

Handgeprüfte Gebrauchtware

Schnelle Lieferung

Faire Preise

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

49,26 €

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,26 €

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,50 €

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,45 €

-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,01 € 50,19 €

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 €

-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 €

-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,10 € 114,48 €

-9%

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,81 € 57,23 €

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,80 €

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,46 €

-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,61 € 496,50 €

-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,97 € 106,99 €

-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,68 € 163,36 €

-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,43 € 171,72 €

-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,87 € 89,88 €

-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,10 € 49,95 €

-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,82 € 39,00 €

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,59 €

-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,88 € 241,53 €

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,31 €

-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,30 € 105,93 €

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,92 €

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,31 €

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,12 €

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,79 €

-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,94 € 57,23 €

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,53 €

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,41 €

-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 €

-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,26 € 103,90 €

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,52 €

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,28 €

-25%

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,73 € 5,00 €

-27%

Theoretische Informatik

paperback
252 Seiten
Erschienen 1993
Vieweg+Teubner Verlag

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Theoretische Informatik

Wegener, Ingo

36,57 € 49,95 €

-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,08 € 39,99 €

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,93 €

-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 €

-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,69 € 106,21 €

-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 €

-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,15 € 105,50 €