Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: formal languages and ((automatic theorem) OR (automated theorem))
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
:
automatic theorem »
automata theory
automated theorem »
automata theory
languages »
language
Showing
61
-
80
of
329
Search:
'formal languages and ((automatic theorem) OR (automated theorem))'
,
query time: 0.43s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
61
Automated
Reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings
Published 2016
Springer International Publishing
Table of Contents:
“
... Reasoning and Mechanizing Mathematics -- First-order Logic and Proof Theory -- First-order
Theorem
Proving...
”
Read Now
62
Automated
Deduction - CADE-17 : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
Published 2000
Springer Berlin Heidelberg
Table of Contents:
“
...Invited Talk: -- High-Level Verification Using
Theorem
Proving and
Formalized
Mathematics...
”
Read Now
63
Automated
Deduction -- CADE-24 : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings
Published 2013
Springer Berlin Heidelberg
Table of Contents:
“
... Description -- Towards Modularly Comparing Programs Using
Automated
Theorem
Provers -- Reuse in Software...
”
Read Now
64
Automated
Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings
Published 2000
Springer Berlin Heidelberg
Table of Contents:
“
...
Theorem
Prover AI-SETHEO -- E-SETHEO: An
Automated
3
Theorem
Prover...
”
Read Now
65
Automated
Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
Published 2003
Springer Berlin Heidelberg
Table of Contents:
“
... Competition -- Session 10: Invited Talk -- Proof Search and Proof Check for Equational and Inductive
Theorems
...
”
Read Now
66
Automatic
Verification Methods for Finite State Systems : International Workshop, Grenoble, France. June 12-14, 1989. Proceedings
Published 1990
Springer Berlin Heidelberg
Table of Contents:
“
... declarative
language
-- Modal specifications --
Automated
verification of timed transition models -- Temporal...
”
Read Now
67
Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification
by
Hou, Zhe
Published 2021
Springer International Publishing
Table of Contents:
“
... and
Formal
Languages
-- 5. Turing Machines and Computability -- 6. Logic is Computation...
”
Read Now
68
Automated
Deduction in Classical and Non-Classical Logics : Selected Papers
Published 2000
Springer Berlin Heidelberg
Table of Contents:
“
...Invited Papers --
Automated
Theorem
Proving in First-Order Logic Modulo: On the Difference between...
”
Read Now
69
Automated
Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
... Tense Logics -- Hilbert’s ?-Terms in
Automated
Theorem
Proving -- Partial Functions in an Impredicative...
”
Read Now
70
Automated
Deduction in Geometry : Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers
Published 2001
Springer Berlin Heidelberg
Table of Contents:
“
... Complexity in Dynamic Geometry --
Automated
Theorem
Proving in Incidence Geometry — A Bracket Algebra Based...
”
Read Now
71
Theorem
Provers in Circuit Design: Theory, Practice and Experience...
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
... of refinement -- Effective
theorem
proving for hardware verification -- A
formal
framework for high level...
”
Read Now
72
Automated
Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Published 2019
Springer International Publishing
Table of Contents:
“
... Proof Terms -- Combining ProVerif and
Automated
Theorem
Provers for Security Protocol Verification...
”
Read Now
73
Automated
Deduction in Geometry : 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
... Constraints Using the Witness Method --
Automatic
Discovery of Geometry
Theorems
Using Minimal Canonical...
”
Read Now
74
Automated
Deduction in Geometry : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
... Method -- GEOTHER 1.1: Handling and Proving Geometric
Theorems
Automatically
-- Distance Coordinates Used...
”
Read Now
75
Automated
Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
...:Improving CondLean for Stronger Conditional Logics -- The ILTP Library: Benchmarking
Automated
Theorem
...
”
Read Now
76
Instantiation Theory : On the Foundations of Automated Deduction
by
Williams, James G.
Published 1991
Springer Berlin Heidelberg
Subjects:
“
...
Formal
Languages
and Automata Theory...
”
Read Now
77
Automated
Practical Reasoning : Algebraic Approaches
Published 1995
Springer Vienna
Table of Contents:
“
... for polynomial systems -- 3 Mechanical geometry
theorem
proving -- 4
Automatic
derivation of unknown relations...
”
Read Now
78
Automated
Reasoning with Analytic Tableaux and Related Methods...
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
... -- Tableaux for Quantified Hybrid Logic -- Tableau-Based
Automated
Deduction for Duration Calculus -- Linear...
”
Read Now
79
Automated
Reasoning with Analytic Tableaux and Related Methods...
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
... to the Tableau Prover PITP -- KLMLean 2.0: A
Theorem
Prover for KLM Logics of Nonmonotonic Reasoning...
”
Read Now
80
Automated
Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
Published 2015
Springer International Publishing
Table of Contents:
“
... Geometric Reasoning -- The Relation Tool in GeoGebra -- Computer
Theorem
Proving for Verifiable Solving...
”
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
110
006 - Special computer methods
107
004 - Data processing & computer science
81
511 - General principles of mathematics
16
670 - Manufacturing
5
518 - Numerical analysis
3
more ...
512 - Algebra
2
516 - Geometry
2
621 - Applied physics
2
003 - Systems
1
100 - Philosophy & psychology
1
510 - Mathematics
1
658 - General management
1
see all ...
less ...
Language
English
328
German
1
Collection
Springer Book Archives -2004
172
Springer eBooks 2005-
154
Cambridge Books Online
1
MIT Press eBook Archive
1
O'Reilly
1
Author
Voronkov, Andrei
14
Nerode, Anil
8
Artemov, Sergei
5
Wang, Dongming
5
Bibel, Wolfgang
3
Calmet, Jacques
3
more ...
Comon, Hubert
3
Dershowitz, Nachum
3
Fitting, Melvin
3
Furbach, Ulrich
3
Galmiche, Didier
3
Giunchiglia, Fausto
3
Harrison, John
3
Jones, Cliff B.
3
Kaufmann, Matt
3
Kerber, Manfred
3
Meseguer, José
3
Nipkow, Tobias
3
Sofronie-Stokkermans, Viorica
3
Alur, Rajeev
2
Ayala-Rincón, Mauricio
2
Baader, Franz
2
Basin, David
2
Baumgartner, Peter
2
Benzmüller, Christoph
2
Berghammer, Rudolf
2
Bonacina, Maria Paola
2
Botana, Francisco
2
Brinksma, Ed
2
Campbell, John A.
2
Dowek, Gilles
2
Fahrenberg, Uli
2
Felty, Amy
2
Finkel, Alain
2
Ganzinger, Harald
2
Gramlich, Bernhard
2
Grundy, Jim
2
Heule, Marijn J.H.
2
Hähnle, Reiner
2
Jipsen, Peter
2
Kahle, Reinhard
2
Kapur, Deepak
2
Kelemen, Jozef
2
Kirchner, Claude
2
Konev, Boris
2
Kropf, Thomas
2
Leucker, Martin
2
Liu, Zhiming
2
Manolios, Panagiotis
2
Martin-Vide, Carlos
2
McCune, William
2
Meyer, Bertrand
2
Miller, Dale
2
Miola, Alfonso
2
Moore, J Strother
2
Moreno-Diaz, Roberto
2
Möller, Bernhard
2
Narukawa, Yasuo
2
Nielsen, Mogens
2
Nieuwenhuis, Robert
2
Olderog, Ernst-Rüdiger
2
Olivetti, Nicola
2
Orlowska, Ewa
2
Paulin-Mohring, Christine
2
Paulson, Lawrence C.
2
Pearce, David
2
Peltier, Nicolas
2
Pfalzgraf, Jochen
2
Pfenning, Frank
2
Platzer, André
2
Podelski, Andreas
2
Popescu, Andrei
2
Rahonis, George
2
Ras, Zbigniew W.
2
Richter, Michael M.
2
Rosu, Grigore
2
Rusinowitch, Michael
2
Rybalchenko, Andrey
2
Schmidt, Renate A.
2
Schreiner, Wolfgang
2
Sebastiani, Roberto
2
Sekerinski, Emil
2
Shore, Richard A.
2
Stickel, Mark E.
2
Sutcliffe, Geoff
2
Swart, Harrie de
2
Thomas, Wolfgang
2
Valk, Rüdiger
2
Wagner, Klaus W.
2
Weidenbach, Christoph
2
Winter, Michael
2
Wirsing, Martin
2
Woodcock, Jim
2
Aagaard, Mark
1
Aagaard, Mark D.
1
Abramsky, S.
1
Aceto, Luca
1
Aichernig, Bernhard K.
1
Albert, Elvira
1
Alferes, Jose, Julio
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=4&lookfor=formal+languages+and+%28%28automatic+theorem%29+OR+%28automated+theorem%29%29&type=AllFields
Send by Email
×
Loading...