Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: formal languages and (automated or automatic) theory
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
:
languages »
language
Showing
1
-
20
of
266
Search:
'formal languages and (automated or automatic) theory'
,
query time: 0.44s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
6th Conference on
Automated
Deduction : New York, USA, June 7-9, 1982
Published 1982
Springer Berlin Heidelberg
Table of Contents:
“
...Solving open questions with an
automated
theorem-proving program -- STP: A mechanized logic...
”
Read Now
2
Automation
of Reasoning : 2: Classical Papers on Computational Logic 1967–1970
Published 1983
Springer Berlin Heidelberg
Table of Contents:
“
... Proving -- Automath, a
Language
for Mathematics -- 1969 -- Semi-
Automated
Mathematics -- Semantic Trees...
”
Read Now
3
10th International Conference on
Automated
Deduction : Kaiserslautern, FRG, July 24-27, 1990. Proceedings
Published 1990
Springer Berlin Heidelberg
Table of Contents:
“
... -- Parallelizing the closure computation in
automated
deduction -- Partheo: A high-performance parallel theorem...
”
Read Now
4
Automated
Deduction — CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings
Published 1994
Springer Berlin Heidelberg
Table of Contents:
“
... description -- Protein: A PROver with a
Theory
Extension INterface -- DELTA — A bottom-up preprocessor for top...
”
Read Now
5
Automated
Deduction - CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings
Published 1992
Springer Berlin Heidelberg
Table of Contents:
“
... -- The GAZER theorem prover -- ROO: A parallel theorem prover -- RVF: An
automated
formal
verification system...
”
Read Now
6
Automated
Deduction - CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings
Published 1997
Springer Berlin Heidelberg
Table of Contents:
“
... logic -- Resource-distribution via Boolean constraints -- Constructing a normal form for Property
Theory
...
”
Read Now
7
9th International Conference on
Automated
Deduction : Argonne, Illinois, USA, May 23-26, 1988. Proceedings
Published 1988
Springer Berlin Heidelberg
Table of Contents:
“
... in inconsistent
formal
systems -- LP: The larch prover -- The KLAUS
automated
deduction system -- A Prolog...
”
Read Now
8
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:
“
...-valued logics -- An ordered
theory
resolution calculus -- Application of
automated
deduction...
”
Read Now
9
Automated
Reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Published 2006
Springer Berlin Heidelberg
Table of Contents:
“
... Proofs in Category
Theory
--
Formal
Global Optimisation with Taylor Models -- A Purely Functional Library...
”
Read Now
10
Automated
Deduction in Geometry : Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
... of
Automatic
Theorem Proving in Computer Vision --
Automated
Geometry Diagram Construction and Engineering...
”
Read Now
11
Automated
Reasoning : 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
...LEO-II - A Cooperative
Automatic
Theorem Prover for Classical Higher-Order Logic (System...
”
Read Now
12
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:
“
... Description: MathWeb, an Agent-Based Communication Layer for Distributed
Automated
Theorem Proving -- System...
”
Read Now
13
Automated
Deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
... Logic --
Formalization
of Continuous Probability Distributions -- Compilation as Rewriting in Higher...
”
Read Now
14
Automated
Reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
...Rewriting -- Rewriting Logic Semantics: From
Language
Specifications to
Formal
Analysis Tools -- A...
”
Read Now
15
Automated
Deduction - CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
... Program for Theorem Generation -- AutoBayes/CC — Combining Program Synthesis with
Automatic
Code...
”
Read Now
16
8th International Conference on
Automated
Deduction : Oxford, England, July 27- August 1, 1986. Proceedings
Published 1986
Springer Berlin Heidelberg
Table of Contents:
“
...Nested resolution -- Mechanizing constructive proofs -- Implementing number
theory
: An experiment...
”
Read Now
17
Automated
Deduction – CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
Published 2021
Springer International Publishing
Table of Contents:
“
... Reductions to Basic Modal Logic -- Isabelle's Metalogic:
Formalization
and Proof Checker --
Theory
...
”
Read Now
18
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:
“
... for Type
Theory
-- The Nuprl Open Logical Environment -- System Description: aRa – An
Automatic
Theorem...
”
Read Now
19
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
20
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) -- Beyond Notations: Hygienic Macro Expansion for Theorem Proving
Languages
--
Formalizations
...
”
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
88
006 - Special computer methods
87
004 - Data processing & computer science
53
511 - General principles of mathematics
10
025 - Library operations
8
003 - Systems
6
more ...
629 - Other branches of engineering
4
670 - Manufacturing
4
621 - Applied physics
3
516 - Geometry
2
100 - Philosophy & psychology
1
371 - Schools & their activities; special education
1
410 - Linguistics
1
418 - Standard usage & applied linguistics
1
500 - Natural sciences & mathematics
1
512 - Algebra
1
519 - Probabilities & applied mathematics
1
see all ...
less ...
Language
English
266
Collection
Springer eBooks 2005-
145
Springer Book Archives -2004
120
O'Reilly
1
Author
Voronkov, Andrei
6
Margaria, Tiziana
5
Artemov, Sergei
4
Nerode, Anil
4
Baumgartner, Peter
3
Konev, Boris
3
more ...
Perner, Petra
3
Ras, Zbigniew W.
3
Steffen, Bernhard
3
Basin, David
2
Comon, Hubert
2
Dowek, Gilles
2
Fuhr, Norbert
2
Furbach, Ulrich
2
Giunchiglia, Fausto
2
Harth, Andreas
2
Hähnle, Reiner
2
Kapur, Deepak
2
Kerber, Manfred
2
Kirrane, Sabrina
2
Kroening, Daniel
2
Larsen, Kim G.
2
Leake, David
2
Legay, Axel
2
Leino, K. Rustan M.
2
Maler, Oded
2
Métais, Elisabeth
2
Nipkow, Tobias
2
Paulheim, Heiko
2
Pfenning, Frank
2
Păsăreanu, Corina S.
2
Schewe, Klaus-Dieter
2
Shi, Zhongzhi
2
Silva, Alexandra
2
Sutcliffe, Geoff
2
Wagner, Roland
2
Wang, Dongming
2
Zemankova, Maria
2
Acosta, Maribel
1
Agah, Arvin
1
Alagar, V.S.
1
Albornoz, Alvaro de
1
Alferes, Jose, Julio
1
Ali, Moonis
1
Alkhalaf, Muath
1
Alloum, Amira
1
Alonso, Omar
1
Alur, Rajeev
1
Alves-Foss, James
1
Amin, Adnan
1
Andersen, Kim V.
1
Anderson, Michael
1
Andersson, Birger
1
Aoki, Toshiaki
1
Apolloni, Bruno
1
Armando, Alessandro
1
Astesiano, Egidio
1
Autexier, Serge
1
Aydin, Abdulbaki
1
Baader, Franz
1
Banach, Richard
1
Banda, Maria Garcia
1
Baresi, Luciano
1
Bartolini, Claudio
1
Basili, Roberto
1
Battistutti, Osvaldo C.
1
Baumgarten, Bernd
1
Beckert, Bernhard
1
Benatallah, Boualem
1
Benjamins, V. Richard
1
Berghammer, Rudolf
1
Bergholtz, Maria
1
Berns, Karsten
1
Berry, Gerard
1
Berthé, Valérie
1
Bi, Yaxin
1
Bidoit, Michel
1
Bieger, Jordi
1
Biere, Armin
1
Biondi, Fabrizio
1
Biro, Miklos
1
Blackburn, Patrick
1
Blazy, Sandrine
1
Bloem, Roderick
1
Bolc, Leonard
1
Bomarius, Frank
1
Borowik, Piotr
1
Botana, Francisco
1
Bouajjani, Ahmed
1
Bouzeghoub, Mokrane
1
Bowen, Jonathan P.
1
Brady, Michael
1
Brahim, Chaib-draa
1
Bramer, Max
1
Branco, António
1
Brandt, Jens
1
Breuel, Thomas
1
Brinksma, Ed
1
Bultan, Tevfik
1
Bundy, Alan
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?lookfor=formal+languages+and+%28automated+or+automatic%29+theory&type=AllFields
Send by Email
×
Loading...