Search alternatives:
mechanics » mechanisms, mechanical

1
by Hajek, P., Havranek, T.
Published 1978
Springer Berlin Heidelberg
.... The present book is one such attempt. Our aim is not to formalize and mechanize the whole domain of inductive...

2
by Gao, Xiao-Shan
Published 2000
Academic Press
Table of Contents: ... Theorem Proving and Discovering. H. Li, Mechanical Theorem Proving in Differential Geometry. J. Zhang...

3
by Auletta, Gennaro
Published 2013
CRC Press
...The book explores how build a mechanical inferences by making use of arithmetic operations on a...

4
by Hölder, Otto
Published 1924
Springer Berlin Heidelberg
Subjects: ...Mechanics, Applied...

5
by Shaw, Ian S.
Published 1998
Springer US
Subjects: ...Mechanical engineering...

6
Published 2000
Springer US
Subjects: ...Mechanical engineering...

7
by Gegov, Alexander
Published 1996
Springer Netherlands
Subjects: ...Mechanical engineering...

8
Published 1999
Springer US
Subjects: ...Mechanical engineering...

9
by Gros, Claudius
Published 2015
Springer International Publishing
Subjects: ...Mechanics, Applied...

10
by Levin, M.S.
Published 1998
Springer US
Subjects: ...Mechanical engineering...

11
Published 1998
Springer US
Subjects: ...Mechanical engineering...

12
by Lehnert, Judith
Published 2016
Springer International Publishing
Subjects: ...Mechanics, Applied...

13
by Rubido, Nicolás
Published 2016
Springer International Publishing
Subjects: ...Mechanical Power Engineering...

14
Published 2015
Springer International Publishing
...Advances in Mechanics and Mathematics...

15
Published 1999
Springer Netherlands
Table of Contents: ...1. A Half-Century of Quantum Logic. What Have We Learned? -- 2. Quantum Mechanical Measurements...

16
by Langlois, William E., Deville, Michel O.
Published 2014
Springer International Publishing
...Leonardo wrote, 'Mechanics is the paradise of the mathematical sciences, because by means of it one...

17
by Cutland, Nigel J.
Published 2000
Springer Berlin Heidelberg
Table of Contents: ... Integration Theory -- Elementary Applications. Stochastic Fluid Mechanics: Introduction -- Solution...

18
by Cameron, Peter J.
Published 2017
Cambridge University Press
... of mathematics, from model theory to statistical mechanics. This book, which stems from many years' experience...

19
by Cai, Jin-yi, Chen, Xi
Published 2017
Cambridge University Press
... in classifications of computational problems studied in exactly solvable models from statistical mechanics...

20
by Molnár, L.
Published 2007
Springer Berlin Heidelberg
... of Hilbert space operators which appear in quantum mechanics. Moreover, local automorphisms and local...