LeafKlimaneutrales Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
Gebrauchte & Neue Bücher
Keine Versandkosten
Nachhaltiges Unternehmen
Springer-Verlag GmbH
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.
Bestellen bei zvab
Neu bestellen bei lehmanns
Natural Handgeprüfte Gebrauchtware
Coins Schnelle Lieferung
Check 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
frontend/listing/product-box/box-product-slider.tpl
-94%
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
3,61 € 62,96 €
Details
frontend/listing/product-box/box-product-slider.tpl
-82%
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
10,23 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
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
4,07 € 242,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
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.
2,21 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
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.
36,64 €
Details
frontend/listing/product-box/box-product-slider.tpl
-68%
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
30,43 € 96,29 €
Details
frontend/listing/product-box/box-product-slider.tpl
-63%
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
14,95 € 40,60 €
Details
frontend/listing/product-box/box-product-slider.tpl
-74%
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
9,27 € 35,31 €
Details
frontend/listing/product-box/box-product-slider.tpl
-73%
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
21,89 € 80,25 €
Details
frontend/listing/product-box/box-product-slider.tpl
-60%
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.
39,53 € 99,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
7,18 €
Details
frontend/listing/product-box/box-product-slider.tpl
-99%
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
1,77 € 137,20 €
Details
frontend/listing/product-box/box-product-slider.tpl
-51%
Kripke’s Worlds: An Introduction to Modal Logics via Tableaux (Studies in Universal Logic)
  • Kartoniert
  • 216 Seiten
  • Erschienen 2013
  • Birkhäuser
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Kripke’s Worlds: An Introduction to Modal...
Gasquet, Olivier und Schwar...
44,92 € 90,94 €
Details
frontend/listing/product-box/box-product-slider.tpl
-36%
Building Intelligent Legal Information Systems: Representation and Reasoning in Law (Computer Law, No 13)
  • paperback
  • 368 Seiten
  • Erschienen 1994
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Building Intelligent Legal Information Systems:...
Zeleznikow, J.
105,01 € 164,25 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
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.
9,36 € 189,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-93%
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.
3,79 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-43%
Theoretische Informatik
  • hardcover
  • 432 Seiten
  • Erschienen 2015
  • Carl Hanser Verlag GmbH & C...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Theoretische Informatik
Hoffmann, Dirk W.
22,77 € 39,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
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
15,42 € 109,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-76%
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
9,36 € 38,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
Artificial Intelligence in Engineering Design: Volume II: Models of Innovative Design, Reasoning About Physical Systems, And Reasoning About Geometry
  • hardcover
  • 524 Seiten
  • Erschienen 1992
  • Academic Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Artificial Intelligence in Engineering Design:...
Luisa, Bozzano G
8,06 € 78,06 €
Details
frontend/listing/product-box/box-product-slider.tpl
-55%
Diamonds and Defaults: Studies in Pure and Applied Intensional Logic (Synthese Library, 229, Band 229)
  • hardcover
  • 397 Seiten
  • Erschienen 1993
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Diamonds and Defaults: Studies in Pure and...
de Rijke, Maarten
72,21 € 160,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
Einführung in die logische Programmierung mit PROLOG (BI - Hochschultaschenbücher)
  • paperback
  • 227 Seiten
  • Duden ein Imprint von Corne...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Einführung in die logische Programmierung mit...
Belli, Fevzi
8,47 €
Details
frontend/listing/product-box/box-product-slider.tpl
A Programming Approach to Computability (Monographs in Computer Science)
  • hardcover
  • 251 Seiten
  • Erschienen 1982
  • Springer Berlin
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
A Programming Approach to Computability...
Arbib, M. A.
12,08 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
Information Algebras: Generic Structures For Inference (Discrete Mathematics and Theoretical Computer Science)
  • paperback
  • 280 Seiten
  • Erschienen 2013
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Information Algebras: Generic Structures For...
Kohlas, Juerg
8,35 € 137,38 €
Details
frontend/listing/product-box/box-product-slider.tpl
-70%
Logic Programming and Knowledge Representation: Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected ... Notes in Computer Science, 1471, Band 1471)
  • paperback
  • 264 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logic Programming and Knowledge Representation:...
Przymusinski, Teodor C.
17,23 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
Introduction to Languages and the Theory Ofcomputation
  • paperback
  • 512 Seiten
  • Erschienen 2000
  • McGraw-Hill Education (ISE ...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Languages and the Theory...
Martin, John C.
275,22 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
Mathematical Theory of Computation (McGraw-Hill Computer Science Series)
  • hardcover
  • 448 Seiten
  • Erschienen 1974
  • McGraw-Hill Inc.,US
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematical Theory of Computation (McGraw-Hill...
Manna, Zohar
3,23 € 110,58 €
Details
frontend/listing/product-box/box-product-slider.tpl
-66%
Beginning Model Theory: The Completeness Theorem and Some Consequences (Oxford Logic Guides)
  • hardcover
  • 152 Seiten
  • Erschienen 1977
  • Oxford University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Beginning Model Theory: The Completeness...
Bridge, Jane
6,45 € 19,21 €
Details
frontend/listing/product-box/box-product-slider.tpl
Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets (Perspectives in Mathematical Logic)
  • paperback
  • 455 Seiten
  • Erschienen 1987
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Recursively Enumerable Sets and Degrees: A...
Soare, Robert I.
193,77 €
Details
frontend/listing/product-box/box-product-slider.tpl
-73%
99 Variationen eines Beweises: Spielarten der Mathematik
  • Gebunden
  • 272 Seiten
  • Erschienen 2020
  • Carl Hanser Verlag GmbH & C...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
99 Variationen eines Beweises: Spielarten der...
Ording, Philip und Schuh, B...
6,65 € 25,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
Formal Logic: Its Scope and Limits
  • hardcover
  • 198 Seiten
  • Erschienen 1981
  • McGraw-Hill Inc.,US
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formal Logic: Its Scope and Limits
Jeffrey, Richard C.
9,03 € 64,57 €
Details
frontend/listing/product-box/box-product-slider.tpl
-59%
Logik für Informatiker
  • paperback
  • 200 Seiten
  • Erschienen 2000
  • Spektrum Akademischer Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logik für Informatiker
Schöning, Uwe
13,41 € 32,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-27%
The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)
  • paperback
  • 450 Seiten
  • Erschienen 2004
  • College Publications
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Haskell Road to Logic, Maths and...
Eijck, Van Jan
12,78 € 17,53 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
Computational Intelligence in Software Quality Assurance
  • Hardcover
  • 200 Seiten
  • Erschienen 2005
  • World Scientific Publishing...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computational Intelligence in Software Quality...
-
2,21 € 143,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-69%
Studies in model theory
  • hardcover
  • 197 Seiten
  • Erschienen 1973
  • Mathematical Association of...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Studies in model theory
Michael D. Morley
3,93 € 12,84 €
Details
frontend/listing/product-box/box-product-slider.tpl
-62%
Playing Smart: On Games, Intelligence, and Artificial Intelligence (Playful Thinking)
  • Gebunden
  • 168 Seiten
  • Erschienen 2019
  • The MIT Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Playing Smart: On Games, Intelligence, and...
Togelius, Julain
8,94 € 23,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-10%
Introduction to Number Theory (Art of Problem Solving Introduction)
  • paperback
  • 314 Seiten
  • Erschienen 2008
  • Aops Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Number Theory (Art of Problem...
Crawford, Mathew
40,37 € 44,94 €
Details
frontend/listing/product-box/box-product-slider.tpl
Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie
  • perfect
    • -
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Einführung in die Automatentheorie, Formale...
-
1,29 €
Details
frontend/listing/product-box/box-product-slider.tpl
-48%
Classical and Nonclassical Logics: An Introduction to the Mathematics of Propositions
  • hardcover
  • 518 Seiten
  • Erschienen 2005
  • Princeton University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Classical and Nonclassical Logics: An...
Schechter, Eric
62,05 € 118,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-31%
Turbo Prolog Owner's Handbook
  • paperback
    • -
  • Erschienen 1986
  • Borland Intl
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Turbo Prolog Owner's Handbook
-
15,05 € 21,83 €
Details