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

Klimaneutrales Unternehmen

Faire Preise

Schneller und kostenloser Versand ab 14,90 € Bestellwert

Interactive Theorem Proving

Interactive Theorem Proving

Urban, Christian und Zhang, Xingyua

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Kurzinformation

Sprache:

Englisch

ISBN:

3319221019

Verlag:

Springer-Verlag GmbH

Seitenzahl:

469

Auflage:

-

Erschienen:

2015-08-27

Dieser Artikel steht derzeit nicht zur Verfügung!

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. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information

Neuware - verlagsfrische aktuelle Buchausgabe.

Handgeprüfte Gebrauchtware

Schnelle Lieferung

Faire Preise

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Weitere Zahlungsmöglichkeiten

Zahlungsarten

Beschreibung

Interactive Theorem Proving

6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics. von Urban, Christian und Zhang, Xingyua

Produktdetails

Einband:

Kartoniert

Seitenzahl:

469

Erschienen:

2015-08-27

Sprache:

Englisch

EAN:

9783319221014

ISBN:

3319221019

Verlag:

Springer-Verlag GmbH

Gewicht:

727 g

Auflage:

-

Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

Urban, Christian und Zhang, Xingyua

Entdecke mehr vom Verlag

Springer-Verlag GmbH

Neu

53,49 €

Entdecke mehr zum Thema

-89%

Proof Theory and Intuitionistic Systems

Hardcover
300 Seiten
Erschienen 1971
Springer

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

Proof Theory and Intuitionistic Systems

Scarpellini, Bruno

4,87 € 42,75 €

-90%

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)

paperback
240 Seiten
Erschienen 2002
Springer

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

Isabelle/HOL: A Proof Assistant for...

Wenzel, Markus

6,41 € 62,96 €

-89%

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Hardcover
504 Seiten
Erschienen 1973
Springer

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

Metamathematical Investigation of...

Troelstra, Anne S.

7,92 € 69,54 €

-73%

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

15,35 € 57,23 €

-76%

Proof Theory: The First Step into Impredicativity (Universitext)

paperback
388 Seiten
Erschienen 2010
Springer Berlin Heidelberg

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

Proof Theory: The First Step into...

Pohlers, Wolfram

19,45 € 80,13 €

-88%

Proofs, Categories and Computations. Essays in Honor of Grigori Mints

Hardcover
322 Seiten
Erschienen 2010
College Publications

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

Proofs, Categories and Computations. Essays in...

-

3,94 € 33,80 €

Hilbert's Tenth Problem (FOUNDATIONS OF COMPUTING SERIES)

hardcover
288 Seiten
Erschienen 1993
MIT Press

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

Hilbert's Tenth Problem (FOUNDATIONS OF...

Matiyasevich, Yuri V.

90,38 €

-97%

Qualitative Spatial and Temporal Reasoning

Hardcover
544 Seiten
Erschienen 2011
Wiley-ISTE

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

Qualitative Spatial and Temporal Reasoning

Ligozat, Gérard

6,11 € 242,50 €

-86%

Proof and Knowledge in Mathematics

paperback
268 Seiten
Erschienen 2014
Routledge

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

Proof and Knowledge in Mathematics

Detlefsen, Michael

9,70 € 70,19 €

-95%

Extensional Gödel Functional Interpretation

Hardcover
172 Seiten
Erschienen 1973
Springer

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

Extensional Gödel Functional Interpretation

Luckhardt, Horst

1,37 € 26,74 €

-95%

Logics in Artificial Intelligence

Hardcover
408 Seiten
Erschienen 1998
Springer

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

Logics in Artificial Intelligence

-

2,66 € 53,49 €

Elementare Beweistheorie

paperback
240 Seiten
Duden ein Imprint von Corne...

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

Elementare Beweistheorie

Heindorf, Lutz

3,94 €

-94%

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)

paperback
224 Seiten
Erschienen 2008
Springer

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

Verifying Concurrent Processes Using Temporal...

Hailpern, B. T.

3,32 € 57,23 €

Theorems and Counterexamples in Mathematics (Problem Books in Mathematics)

hardcover
339 Seiten
Erschienen 1990
Springer Berlin

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

Theorems and Counterexamples in Mathematics...

Olmsted, John M.

54,99 €

-53%

Universal Artificial Intelligence: Sequential Decisions Based on Algorithmic Probability (Texts in Theoretical Computer Science. An EATCS Series)

paperback
304 Seiten
Erschienen 2010
Springer

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

Universal Artificial Intelligence: Sequential...

Hutter, Marcus

45,66 € 96,29 €

-93%

Systems of Logic

Taschenbuch
336 Seiten
Erschienen 2009
Cambridge University Press

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

Systems of Logic

Martin, Norman M.

3,82 € 57,90 €

-63%

Gödel's Theorem: An Incomplete Guide To Its Use And Abuse

Kartoniert
180 Seiten
Erschienen 2011
A K Peters

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

Gödel's Theorem: An Incomplete Guide To Its Use...

Franzen, Torkel

17,34 € 46,78 €

-88%

Elementary Induction on Abstract Structures

Taschenbuch
242 Seiten
Erschienen 2008
Dover Pubn Inc

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

Elementary Induction on Abstract Structures

Moschovakis, Yiannis N

1,75 € 15,00 €

-45%

Building Problem Solvers Listings - 3.5 (Artificial Intelligence)

paperback
412 Seiten
Erschienen 1993
MIT Press

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

Building Problem Solvers Listings - 3.5...

De Kleer, Johan

22,43 € 40,60 €

-82%

The Four-Color Theorem: History, Topological Foundations, and Idea of Proof

hardcover
260 Seiten
Erschienen 1998
Springer

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

The Four-Color Theorem: History, Topological...

Peschke, J.lie

15,28 € 85,55 €

-61%

Complex Proofs of Real Theorems (University Lecture Series, 58, Band 58)

paperback
90 Seiten
Erschienen 2012
American Mathematical Society

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

Complex Proofs of Real Theorems (University...

Zalcman, Lawrence

13,91 € 35,31 €

-89%

Notes on Set Theory

Taschenbuch
292 Seiten
Erschienen 2019
Springer New York

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

Notes on Set Theory

-

7,92 € 69,54 €

-59%

Fundamentals of Artificial Intelligence: Problem Solving and Automated Reasoning

hardcover
294 Seiten
Erschienen 2023
McGraw-Hill Education

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

Fundamentals of Artificial Intelligence:...

Kubat, Miroslav

32,85 € 80,25 €

-99%

Advances in Computational Intelligence: Theory and Applications

Hardcover
480 Seiten
Erschienen 2006
Wspc

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

Advances in Computational Intelligence: Theory...

-

2,83 € 193,50 €

-41%

Der Gödelsche Beweis

paperback
Erschienen 2003
De Gruyter Oldenbourg

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

Der Gödelsche Beweis

Newman, James R.

59,32 € 99,95 €

-94%

Transductions and Context-Free Languages

Hardcover
284 Seiten
Erschienen 1979
Teubner

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

Transductions and Context-Free Languages

Berstel, Jean

2,51 € 44,99 €

Introduction to Mathematical Logic (University Series in Undergraduate Mathematics)

textbook
300 Seiten
Erschienen 1964
Van Nostrand Reinhold

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

Introduction to Mathematical Logic (University...

Mendelson, Elliott

10,78 €

Mathematical Induction: A Powerful and Elegant Method of Proof (Xyz, Band 25)

hardcover
428 Seiten
Erschienen 2017
XYZ Press

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

Mathematical Induction: A Powerful and Elegant...

Crisan, Vlad

212,11 €

Kombinatorische Theologie. Probleme theologischer Rationalität

perfect
-

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

Kombinatorische Theologie. Probleme...

-

5,15 €

-89%

Computation Theory and Logic

Hardcover
460 Seiten
Erschienen 1987
Springer

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

Computation Theory and Logic

Börger, Egon

6,09 € 53,49 €

-98%

Specification and Proof in Real Time CSP

Hardcover
200 Seiten
Erschienen 1993
Cambridge University Press

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

Specification and Proof in Real Time CSP

Davies, Jim

2,65 € 137,20 €

-94%

Mathematische Grundlagen der Informatik: Mathematisches Denken und Beweisen (XLeitfäden der Informatik)

paperback
300 Seiten
Erschienen 2002
Vieweg+Teubner Verlag

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

Mathematische Grundlagen der Informatik:...

Mundhenk, Martin

2,75 € 49,95 €

-93%

Theory of Computing: A Gentle Introduction

hardcover
224 Seiten
Erschienen 2000
Pearson Education (US)

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

Theory of Computing: A Gentle Introduction

Smith, Carl H.

14,05 € 189,50 €

-89%

Automated and Algorithmic Debugging

Hardcover
388 Seiten
Erschienen 1993
Springer

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

Automated and Algorithmic Debugging

Fritzson, Peter A.

5,69 € 53,49 €

-79%

Axiomatische Wahrheitstheorien (Logica Nova)

Gebunden
260 Seiten
Erschienen 1996
De Gruyter Akademie Forschung

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

Axiomatische Wahrheitstheorien (Logica Nova)

Halbach, Volker

23,14 € 109,95 €

-94%

Optimization and Computational Logic (Wiley-Interscience Series in Discrete Mathematics and Optimization)

hardcover
536 Seiten
Erschienen 1996
Wiley-Interscience

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

Optimization and Computational Logic...

Tretkoff, Carol

6,49 € 112,35 €

-88%

EAGLE-STARTHILFE Technische Informatik: Logische Funktionen – Boolesche Modelle

paperback
100 Seiten
Erschienen 2014
Edition am Gutenbergplatz L...

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

EAGLE-STARTHILFE Technische Informatik:...

Posthoff, Christian

1,80 € 14,50 €

-98%

Real Time Programming: Languages, Specification and Verification

Hardcover
264 Seiten
World Scientific Publishing...

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

Real Time Programming: Languages, Specification...

Ramesh, S.;Shyamasundar, R K;

2,47 € 121,50 €

-96%

Discrete Mathematics: Mathematical Reasoning and Proof with Puzzles, Patterns, and Games

hardcover
691 Seiten
Erschienen 2005
John Wiley & Sons Inc

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

Discrete Mathematics: Mathematical Reasoning...

Crawley, J. Winston

10,25 € 285,00 €

-64%

Model Theory (Studies in Logic and Foundations of Mathematics Ser. : Vol 73)

paperback
566 Seiten
Erschienen 1977
North-Holland

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

Model Theory (Studies in Logic and Foundations...

Keisler, H. Jerome

14,05 € 38,79 €