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
Published 2017
Springer Nature Singapore
Table of Contents: ... in spherical geometry -- Applied Mathematics. Bessel sequences and Frames in Semi‐inner product Spaces...

5
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...

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

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

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

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

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

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

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

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

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

15
Published 2004
Springer Berlin Heidelberg
Subjects: ...Mathematical Logic and Formal Languages...

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

17
Published 1995
Springer Berlin Heidelberg
Table of Contents: ...Towards automatic parallelization of logic programs -- Functional Algorithm Design -- Mathematics...

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

20
Published 2013
Springer Berlin Heidelberg
Table of Contents: ...Structural Similarity Search for Mathematics Retrieval -- Towards Machine-Actionable Modules of a...