Search alternatives:
"mathematician" » "mathematicians", "mathematical"

1
by Capper, Derek
Published 2001
Springer London
Subjects: ...Applications of Mathematics...

2
by Capper, Derek M.
Published 1994
Springer London
... that are - in the main - numerical. Most engineering, phys ics, and mathematics degree courses include a computing...

3
Published 1989
Springer New York
Table of Contents: ... in MATHPERT: An Expert System for Learning Mathematics -- Representation of Inference in Computer Algebra...

4
by Li, Wei
Published 2014
Birkhäuser
Table of Contents: ...Preface -- Preface to the Second Edition -- I Elements of Mathematical Logic -- 1 Syntax of First...

5
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... -- Intersecting Adjectives in Syllogistic Logic -- Creation Myths of GenerativeGrammar and the Mathematics...

6
by Li, Wei
Published 2010
Birkhäuser
Subjects: ...Mathematical logic...

7
by Wickerhauser, Mladen Victor
Published 2010
Birkhäuser
Subjects: ...Applications of Mathematics...

8
Published 2017
Springer Nature Singapore
Table of Contents: ... in spherical geometry -- Applied Mathematics. Bessel sequences and Frames in Semi‐inner product Spaces...

9
Published 2011
Springer Berlin Heidelberg
Subjects: ...Mathematics of Computing...

10
Published 2014
Springer International Publishing
Table of Contents: ...Digital Mathematics Library -- Search Interfaces for Mathematicians -- A Data Model and Encoding...

11
by Metcalf, Leigh, Casey, William
Published 2016
Syngress is an imprint of Elsevier
Table of Contents: ... -- 6.2. The Mathematical Definition of a Game...

12
by Lopez, Cesar
Published 2014
Apress
Subjects: ...Mathematical Software...

13
Published 2008
Springer Berlin Heidelberg
...This book constitutes the refereed proceedings of the 9th International Conference on Mathematics...

16
Published 1992
Springer Berlin Heidelberg
... as an activity that can be carried out based on and supported by a mathematical method. In particular...

17
Published 2000
Springer Berlin Heidelberg
...This volume contains the proceedings of MPC 2000, the ?fth international c- ference on Mathematics...

18
Published 1989
Springer Berlin Heidelberg
Table of Contents: ...A formal approach to large SOFTWARE CONSTRUCTION -- Mathematics of program construction applied...

19
by Gasteren, Antonetta J.M. van
Published 1990
Springer Berlin Heidelberg
...This book deals with the presentation and systematic design of mathematical proofs, including...

20
Published 1993
Springer Berlin Heidelberg
Table of Contents: ... Mathematics -- Pretty-printing: An exercise in functional programming -- True concurrency: Theory and practice...