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
Retain my current filters
dewey-ones:"518 - Numerical analysis"
Search alternatives
:
automatic theorem »
automata theory
automated theorem »
automata theory
languages »
language
Showing
1
-
3
of
3
Search:
'formal languages and ((automatic theorem) OR (automated theorem))'
,
query time: 0.41s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Theorem
Proving with the Real Numbers
by
Harrison, John
Published 1998
Springer London
Table of Contents:
“
...8.2 The
formalization
of mathematics -- 8.3 The LCF approach to
theorem
proving -- 8.4 Computer...
”
Read Now
2
Mathematical Foundations of Computer Science 2014 : 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I
Published 2014
Springer Berlin Heidelberg
Table of Contents:
“
... -- Definability and Transformations for Cost Logics and
Automatic
Structures -- Generalised Lyndon-Schützenberger...
”
Read Now
3
Connecting with Computability : 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings
Published 2021
Springer International Publishing
Table of Contents:
“
... Arithmetic -- Pistone Learning
Languages
with Decidable Hypotheses -- Robust Online Algorithms for Dynamic...
”
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 518 - Numerical analysis
Year of Publication
From:
To:
Classification
518 - Numerical analysis
Language
English
3
Collection
Springer eBooks 2005-
2
Springer Book Archives -2004
1
Author
Csuhaj-Varjú, Ersébet
1
De Mol, Liesbeth
1
Dietzfelbinger, Martin
1
Fernández-Duque, David
1
Harrison, John
1
Manea, Florin
1
more ...
Weiermann, Andreas
1
Ésik, Zoltán
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22518+-+Numerical+analysis%22&lookfor=formal+languages+and+%28%28automatic+theorem%29+OR+%28automated+theorem%29%29&type=AllFields
Send by Email
×
Loading...