1
by Gao, Xiao-Shan
Published 2000
Academic Press
Subjects: ...Théorèmes / Démonstration automatique...

2
by Gabbay, Dov M.
Published 2005
Elsevier

3
by Cupillari, Antonella
Published 2005
Elsevier Academic Press
... if the results are forgotten. A flow chart graphically demonstrates the basic steps in the construction of any...

4
by Godunov, S. K.
Published 1987
North-Holland
... stressing a mathematically rigorous treatment of model problems, the book also demonstrates the relation...

5
by Wilcox, Rand R.
Published 2003
Academic Press
... inadequate or outdated when applied to modern problems. Wilcox demonstrates how new and more powerful...

6
by Narayanan, H.
Published 1997
Elsevier
... demonstrates the strong links that exist between submodular functions and electrical networks. The book...

7
by González-Velasco, Enrique A.
Published 1995
Academic Pres
.... In addition, the author demonstrates how efforts to deal with these problems have lead to wonderfully...

8
by Dym, Clive L.
Published 2004
Elsevier Academic Press

9
by Schechter, Eric
Published 1997
Academic Press
...; integration theory; topological vector spaces; and differential equations. The author effectively demonstrates...

10
by Lee, Sik-Yum
Published 2007
Elsevier/North-Holland
..., public health and sociology. - Demonstrates the use of a wide variety of statistical, computational...

11
by Suppes, Patrick
Published 1973
North-Holland Pub. Co.
Table of Contents: ... Models of Theory-Change; Chapter 31 Falsification and Its Critics; Chapter 32 Demonstrative and Heuristic...

12
by Kilbas, A. A.
Published 2006
Elsevier
...- Fractional Modelling is an emergent tool with demonstrated applications in numerous seemingly...

13
by Matthen, Mohan
Published 2007
Elsevier
.... They demonstrate how philosophical analysis has been able to contribute to sometimes contested areas of scientific...

14
by Brezinski, Claude
Published 1991
North-Holland, Distributors for the U.S. and Canada, Elsevier Science Pub. Co
... to demonstrate to those working with sequences the advantages of the use of extrapolation methods. Many numerical...

15
by Bri︠u︡no, Aleksandr Dmitrievich
Published 2000
Elsevier
... systems. The efficiency of the calculus is demonstrated with regard to several complicated problems from...

16
by Benthem, Johan van
Published 1991
North-Holland
... language) into one coherent theory. The book aims to demonstrate to fellow logicians that the resulting...

17
by Fragoulopoulou, Maria
Published 2005
Elsevier
...-normed topological algebras with involution, demonstrating with examples and basic results the necessity...

18
by Galatos, Nikolaos
Published 2007
Elsevier
... discussion of interconnections between logic and algebra, where we try to demonstrate how they form two sides...

19
by Ciarlet, Philippe G.
Published 1997
North-Holland
.... It is also demonstrated that asymptotic methods can likewise be used for justifying other lower-dimensional...

20
by Gajić, Zoran
Published 1995
Academic Press
... the text in order to demonstrate the effectiveness of the presented methods and algorithms. The book...