Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "prover"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Search alternatives
:
"prover" »
"proven"
,
"proved"
,
"proves"
Showing
41
-
60
of
268
Search:
'"prover"'
,
query time: 0.03s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
41
Lazy Evaluation: From natural semantics to a machine-checked compiler transformation
by
Breitner, Joachim
Published 2016
KIT Scientific Publishing
“
... program performance; the proof is machine-checked using the interactive theorem
prover
Isabelle...
”
Read Now
42
Modelling Puzzles in First Order Logic
by
Groza, Adrian
Published 2021
Springer International Publishing
Table of Contents:
“
...Preface -- Getting Started with
Prover
9 and Mace4 -- Micro Arithmetic Puzzles -- Strange Numbers...
”
Read Now
43
Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II
Published 2020
Springer International Publishing
Table of Contents:
“
... description) -- Prolog Technology Reinforcement Learning
Prover
(system description)...
”
Read Now
44
Automated Mathematical Induction
Published 1996
Springer Netherlands
Table of Contents:
“
... and Induction -- A Calculus for and Termination of Rippling -- Interaction with the Boyer—Moore Theorem
Prover
...
”
Read Now
45
Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings
Published 2010
Springer Berlin Heidelberg
Table of Contents:
“
...: Judgement Day -- Invited Talk -- Logic between Expressivity and Complexity -- Verification -- Multi-
Prover
...
”
Read Now
46
Automated Deduction - CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
... Framework for the Flexible Integration of a Class of Decision Procedures into Theorem
Provers
-- Presenting...
”
Read Now
47
Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
... — An Interactive
Prover
for the Boogie Program-Verifier -- Secure Microkernels, State Monads and Scalable...
”
Read Now
48
Theory of Cryptography : 18th International Conference, TCC 2020, Durham, NC, USA, November 16–19, 2020, Proceedings, Part I
Published 2020
Springer International Publishing
Table of Contents:
“
...-
Prover
Zero Knowledge -- NIZK from SNARG -- Weakly Extractable One-Way Functions -- Towards Non...
”
Read Now
49
Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Published 2012
Springer Berlin Heidelberg
“
...; program verification; theorem
prover
development; reasoning about program execution; and
prover
...
”
Read Now
50
Logic for Programming, Artificial Intelligence, and Reasoning : 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
... for Computation Tree Logic -- Extending a Resolution
Prover
for Inequalities on Elementary Functions -- Model...
”
Read Now
51
Logic Programming and Automated Reasoning : International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
Published 1992
Springer Berlin Heidelberg
Table of Contents:
“
...
prover
-- An application to teaching in logic course of ATP based on natural deduction -- A generic logic...
”
Read Now
52
Theorem Proving in Higher Order Logics : 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings
Published 1997
Springer Berlin Heidelberg
Table of Contents:
“
...An Isabelle-based theorem
prover
for VDM-SL -- Executing formal specifications by translation...
”
Read Now
53
First International Workshop on Larch : Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992
Published 1993
Springer London
Table of Contents:
“
... -- Optimizing Programs with Partial Specifications -- A new Front-End for the Larch
Prover
-- Thoughts on a...
”
Read Now
54
KI-97: Advances in Artificial Intelligence : 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings
Published 1997
Springer Berlin Heidelberg
Table of Contents:
“
... planning -- Many-sorted logic in a learning theorem
prover
-- Rigid hypertableaux -- Minimal model...
”
Read Now
55
Formal Verification of Simulink/Stateflow Diagrams : A Deductive Approach
by
Zhan, Naijun
,
Wang, Shuling
,
Zhao, Hengjun
Published 2017
Springer International Publishing
Table of Contents:
“
... Stateflow and Its Combination with Simulink -- 6 Hybrid CSP -- 7 Hybrid Hoare Logic -- 8 The HHL
Prover
-- 9...
”
Read Now
56
Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
Published 2003
Springer Berlin Heidelberg
Table of Contents:
“
... Theorem
Prover
-- Combining Testing and Proving in Dependent Type Theory -- Invited Talk II -- Reasoning...
”
Read Now
57
Artificial Intelligence and Symbolic Computation : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings
Published 1998
Springer Berlin Heidelberg
Table of Contents:
“
... model search for equational theories (FMSET) -- Specification and integration of theorem
provers
...
”
Read Now
58
Perspectives of System Informatics : 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
Published 2018
Springer International Publishing
Table of Contents:
“
... -- Compositional Relational Programming with Nominal Projection and Compositional Synthesis -- Whale
Prover
: First...
”
Read Now
59
Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Published 2014
Springer International Publishing
Table of Contents:
“
... Theorem
Prover
Is Sound (Down to the Machine Code That Runs It) -- Balancing Lists: A Proof Pearl...
”
Read Now
60
Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
Published 2013
Springer Berlin Heidelberg
Table of Contents:
“
... Multiprocessing for Interactive Theorem Proving -- A Parallelized Theorem
Prover
for a Logic with Parallel...
”
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
90
006 - Special computer methods
79
004 - Data processing & computer science
58
511 - General principles of mathematics
9
621 - Applied physics
6
510 - Mathematics
3
more ...
512 - Algebra
3
518 - Numerical analysis
3
160 - Logic
2
519 - Probabilities & applied mathematics
2
658 - General management
2
003 - Systems
1
100 - Philosophy & psychology
1
250 - Christian orders & local church
1
320 - Political science
1
330 - Economics
1
340 - Law
1
401 - Philosophy & theory
1
501 - Philosophy & theory
1
516 - Geometry
1
620 - Engineering & allied operations
1
629 - Other branches of engineering
1
641 - Food & drink
1
660 - Chemical engineering
1
664 - Food technology
1
670 - Manufacturing
1
see all ...
less ...
Language
English
260
German
4
Portuguese
3
Collection
Springer Book Archives -2004
132
Springer eBooks 2005-
122
Directory of Open Access Books
5
Eighteenth Century Collections Online / ECCO
2
O'Reilly
2
Springer Lecture Notes Archiv 1964-1996
2
more ...
Cambridge Books Online
1
Elsevier eBook collection Mathematics
1
Making of the Modern World
1
see all ...
less ...
Author
Voronkov, Andrei
8
Nipkow, Tobias
4
Bibel, Wolfgang
3
Buchberger, Bruno
3
Hähnle, Reiner
3
Kirchner, Claude
3
more ...
Micciancio, Daniele
3
O'Regan, Gerard
3
Wirsing, Martin
3
Autexier, Serge
2
Baader, Franz
2
Basin, David
2
Baumgartner, Peter
2
Beckert, Bernhard
2
Benzmüller, Christoph
2
Birtwistle, Graham
2
Calmet, Jacques
2
Campbell, John A.
2
Dershowitz, Nachum
2
Felty, Amy
2
Galmiche, Didier
2
Ganzinger, Harald
2
Harrison, John
2
Haveraaen, Magne
2
Hsiang, Jieh
2
Kapur, Deepak
2
Kropf, Thomas
2
Kumar, Ramayya
2
McCune, William
2
Miola, Alfonso
2
Nieuwenhuis, Robert
2
Paulin-Mohring, Christine
2
Podelski, Andreas
2
Schmitt, P.H.
2
Sekerinski, Emil
2
Wang, Dongming
2
Aagaard, Mark
1
Abramsky, Samson
1
Ahrendt, Wolfgang
1
Ait Mohamed, Otmane
1
Albert, Elvira
1
Alferes, José Júlio
1
Alt, Helmut
1
Alves-Foss, James
1
Aly, Abdelrahaman
1
Araki, Keijiro
1
Armando, Alessandro
1
Asperti, Andrea
1
Aspinall, David
1
Azar, Ahmad Taher
1
Bachmair
1
Baker, Paul
1
Ball, Thomas
1
Banda, Maria Garcia
1
Barnett, Mike
1
Basili, Roberto
1
Batina, Lejla
1
Bella, Giampaolo
1
Benevides, Mário
1
Berghofer, Stefan
1
Beringer, Lennart
1
Berry, Gerard
1
Besold, Tarek R.
1
Bidoit, Michel
1
Biere, Armin
1
Blanchette, Jasmin Christian
1
Blazy, Sandrine
1
Bloem, Roderick
1
Bochmann, Gregor von
1
Bode, Arndt
1
Boldyreva, Alexandra
1
Bonacina, Maria Paola
1
Boneh, Dan
1
Book, Ronald V.
1
Borisov, Nikita
1
Bose, Prosenjit K.
1
Boulton, Richard J.
1
Boyer, Robert Stephen
1
Bramer, Max
1
Brandt, Jens
1
Brassard, Gilles
1
Breitner, Joachim
1
Brewka, Gerhard
1
Brickell, Ernest F.
1
Brinksma, Ed
1
Broy, Manfred
1
Bubel, Richard
1
Bundy, A.
1
Bundy, Alan
1
Butler, Michael
1
Börger, Egon
1
Calmet, Jaques
1
Camilleri, Juanito
1
Campbell, John
1
Camurati, Paolo Enrico
1
Canal, Carlos
1
Canetti, Ran
1
Cardoso, Amilcar
1
Carette, Jacques
1
Cauvain
1
see all ...
less ...
Recently Uploaded
Last Month
1
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=3&lookfor=%22prover%22&type=AllFields
Send by Email
×
Loading...