Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "proving"
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:"004 - Data processing & computer science"
product_txtF_mv:"Springer Book Archives -2004"
Search alternatives
:
"proving" »
"providing"
,
"improving"
,
"province"
Showing
1
-
20
of
194
Search:
'"proving"'
,
query time: 0.04s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Mechanical Theorem
Proving
in Geometries : Basic Principles
by
Wu, Wen-tsün
Published 1994
Springer Vienna
Table of Contents:
“
... The mechanization of theorem
proving
in projective geometry -- 6.3 The mechanization of theorem
proving
in Bolyai...
”
Read Now
2
The Efficiency of Theorem
Proving
Strategies : A Comparative and Asymptotic Analysis
by
Plaisted, David A.
,
Zhu, Yunshan
Published 1999
Vieweg+Teubner Verlag
“
... by many common theorem
proving
strategies. Thus it permits one to gain a theoretical unterstanding...
”
Read Now
3
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:
“
... to higher order logic programming -- Human-style theorem
proving
using PVS -- A hybrid approach to verifying...
”
Read Now
4
Theorem
Proving
in Higher Order Logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings
Published 2002
Springer Berlin Heidelberg
Table of Contents:
“
... -- Regular Papers -- Combining Higher Order Abstract Syntax with Tactical Theorem
Proving
and (Co)Induction...
”
Read Now
5
Theorem
Proving
in Higher Order Logics : 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings
Published 1998
Springer Berlin Heidelberg
Table of Contents:
“
... -- An LPO-based termination ordering for higher-order terms without ?-abstraction --
Proving
isomorphism...
”
Read Now
6
Theorem
Proving
with Analytic Tableaux and Related Methods...
Published 1996
Springer Berlin Heidelberg
Table of Contents:
“
... -- Distributed modal theorem
proving
with KE -- A simple tableau system for the logic of elsewhere -- Situational...
”
Read Now
7
Current Trends in Hardware Verification and Automated Theorem
Proving
Published 1989
Springer New York
Table of Contents:
“
... in Interactive Theorem
Proving
-- 8 An Overview of the Edinburgh Logical Framework -- 9 Automating Recursive Type...
”
Read Now
8
Higher Order Logic Theorem
Proving
and Its Applications : 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings
Published 1995
Springer Berlin Heidelberg
“
... Theorem
Proving
and Its Applications, held in Aspen Grove, Utah, USA in September 1995. The 26 papers...
”
Read Now
9
Higher Order Logic Theorem
Proving
and Its Applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings
Published 1994
Springer Berlin Heidelberg
Table of Contents:
“
... for recursive type definitions for HOL -- Some theorems we should
prove
-- Using PVS to
prove
some theorems...
”
Read Now
10
Higher Order Logic Theorem
Proving
and Its Applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
Published 1994
Springer Berlin Heidelberg
Table of Contents:
“
...LCF examples in HOL -- A graphical tool for
proving
UNITY progress -- Reasoning about a class...
”
Read Now
11
From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions
by
Snyers, Dominique
,
Thayse, Andre
Published 1987
Springer Berlin Heidelberg
Table of Contents:
“
...Theorem in
proving
and P-functions -- Grammars, logics and declarative programming -- Grammars...
”
Read Now
12
Automated Deduction in Geometry : Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
...Automatic Geometry Theorem-
Proving
and Automatic Geometry Problem-Solving -- Solving Geometric...
”
Read Now
13
Integrating Symbolic Mathematical Computation and Artificial Intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
...Interactive theorem
proving
and computer algebra -- A practical algorithm for geometric theorem...
”
Read Now
14
Advanced Topics in Term Rewriting
by
Ohlebusch, Enno
Published 2002
Springer New York
Table of Contents:
“
... -- 10
Proving
Termination of Logic Programs -- A Kruskal’s Theorem -- A.l Partial Well-Orderings -- A.2...
”
Read Now
15
Rewriting Techniques and Applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings
Published 1991
Springer Berlin Heidelberg
Table of Contents:
“
... for efficient normalization of nonlinear rewrite systems -- On fairness of completion-based theorem
proving
...
”
Read Now
16
Constraints in Computational Logics: Theory and Applications : International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures
Published 2001
Springer Berlin Heidelberg
Table of Contents:
“
... Constraint Solving -- Constraints and Theorem
Proving
-- Functional and Constraint Logic Programming...
”
Read Now
17
Aspects and Prospects of Theoretical Computer Science : 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-23, 1990. Proceedings
Published 1990
Springer Berlin Heidelberg
Table of Contents:
“
... functions: Characterizations, minimization, examples -- Past
proves
more invariance properties but not pca...
”
Read Now
18
Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings
Published 1996
Springer Berlin Heidelberg
Table of Contents:
“
...Problem-oriented applications of automated theorem
proving
-- ?IT — A strongly-typed embeddable...
”
Read Now
19
International Symposium on Programming : 5th Colloquium, Turin, April 6-8, 1982. Proceedings
Published 1982
Springer Berlin Heidelberg
Table of Contents:
“
... -- Automatic program transformation viewed as theorem
proving
-- An enlarged definition and complete...
”
Read Now
20
CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings
Published 1988
Springer Berlin Heidelberg
Table of Contents:
“
... -- Surjectivity for finite sets of combinators by weak reduction --
Proving
finite satisfiability of deductive...
”
1
2
3
4
5
6
7
8
9
10
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 004 - Data processing & computer science
Clear Filter
Collection: Springer Book Archives -2004
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
621 - Applied physics
5
005 - Computer programming, programs & data
2
Language
English
192
German
2
Collection
Springer Book Archives -2004
Author
Börger, Egon
6
Dongarra, Jack
4
Kleine Büning, Hans
4
Kropf, Thomas
4
Nerode, Anil
4
Nivat, Maurice
4
more ...
Brinksma, Ed
3
Kirchner, Helene
3
Larsen, Kim G.
3
Margaria, Tiziana
3
Richter, Michael M.
3
Rozenberg, Grzegorz
3
Salomaa, Arto
3
Alur, Rajeev
2
Bauer, F.L.
2
Calmet, Jacques
2
Cleaveland, W. Rance
2
Dijkstra, Edsger W.
2
Ehrig, Hartmut
2
Jäger, Gerhard
2
Miola, Alfonso
2
Roever, Willem-Paul de
2
Shore, Richard A.
2
Steffen, Bernhard
2
Vytopil, Jan
2
Wang, Dongming
2
Abdallah, Ali E.
1
Abramsky, S.
1
Alagar, V.S.
1
Alves-Foss, James
1
Antsaklis, Panos
1
Arbib, M.A.
1
Ausiello, Giorgio
1
Avizienis, A.
1
Baaz, Matthias
1
Baeten, Joseph C.M.
1
Bakker, J.W.de
1
Bakker, Jaco W. de
1
Barendregt, Henk
1
Barta, Ben-Zion
1
Bauer, Friedrich L.
1
Becvar, J.
1
Ben-Ari, Mordechai
1
Bensoussan, A.
1
Bilardi, Gianfranco
1
Birtwistle, Graham
1
Blakely, G.R.
1
Blikle, A.
1
Blum, E.K.
1
Bodart, Francois
1
Bode, Arndt
1
Boiten, Eerke
1
Book, Ronald V.
1
Botsford, John
1
Bouge, Luc
1
Boyd, Colin
1
Brauer, Wilfried
1
Broy, Manfred
1
Buhler, Joe P.
1
Calude, Christian
1
Camilleri, Juanito
1
Campbell, John A.
1
Camurati, Paolo Enrico
1
Carreno, Victor A.
1
Chaum, D.
1
Chen, Xuemin
1
Choffrut, Christian
1
Chytil, Michal P.
1
Clote, Peter
1
Codognet, Philippe
1
Cohen, Gerard
1
Comon, Hubert
1
Cortesi, Agostino
1
Cotronis, Yiannis
1
Courcoubetis, Costas
1
Cremers, A.B.
1
Dassow, Jürgen
1
Dauchet, Max
1
Davenport, James H.
1
Davies, Jim
1
DeWilde, Patrick
1
Delorme, M.
1
Derniame, Jean-Claude
1
Derrick, John
1
Dezani-Ciancaglini, M.
1
Dezani-Ciancaglini, Mariangiola
1
DiBattista, Giuseppe
1
Diaz, J.
1
Dourish, Paul
1
Dowek, Gilles
1
Eijck, Jan van
1
Engberg, Uffe
1
Eveking, Hans
1
Even, S.
1
Feijen, W.H.J.
1
Felty, Amy
1
Fitzpatrick, G.
1
Floyd, Christiane
1
Flum, Jörg
1
Fraigniaud, Pierre
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%22004+-+Data+processing+%26+computer+science%22&filter%5B%5D=product_txtF_mv%3A%22Springer+Book+Archives+-2004%22&lookfor=%22proving%22&type=AllFields
Send by Email
×
Loading...