1
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... -- Absolutely Non-effective Predicates and Functions in Computable Analysis -- Linear-Size Log-Depth Negation...

2
by Colton, Simon
Published 2002
Springer London
Table of Contents: ... -- 14.1 Additional Theory Formation Abilities -- 14.2 The Application of Theory Formation -- 14.3...

3
by Batschelet, Edward
Published 1979
Springer Berlin Heidelberg
Table of Contents: ... Logic -- 2.1 “New Mathematics” -- 2.2 Sets -- 2.3 Notations and Symbols -- 2.4 Variable Members -- 2.5...

4
Published 2007
Springer Berlin Heidelberg
Table of Contents: ...Characterizing Implications of Injective Partial Orders -- DVDSleuth: A Case Study in Applied...

5
Published 1997
Springer US
Table of Contents: ... Networks -- 22 An Event-Space Feedforward Network Using Maximum Entropy Partitioning with Application...

6
Published 2022
Springer International Publishing
Subjects: ...Computer science / Mathematics...

7
Published 2023
Springer Nature Singapore
Table of Contents: ... of Rotation in Magnetic Nanofluids -- R. Sasikumar and P. Arriyamuthu, Modeling for Implications of Covid-19...

8
Published 2016
Springer International Publishing
Subjects: ...Mathematical Applications in Computer Science...

9
Published 1987
Springer Berlin Heidelberg
Table of Contents: ... of minimal implicating vector -- Built-in self-testing of logic circuitsusing imperfect duplication...

10
Published 2002
Springer Berlin Heidelberg
Table of Contents: ...Invited Lectures -- Limit-Computable Mathematics and Its Applications -- Automata, Logic, and XML...

11
by Greenberg, H.J.
Published 1993
Springer US
Table of Contents: ... Redundancy test -- 9.6 Successive bound reduction -- 9.7 Logical implication tests -- 10 More Views -- 10.1...

12
Published 2022
Springer International Publishing
Subjects: ...Computer Communication Networks...

13
Published 2022
Springer International Publishing
Subjects: ...Computer and Information Systems Applications...

14
by Kaneko, Kunihiko, Tsuda, Ichiro
Published 2001
Springer Berlin Heidelberg
Table of Contents: ...5.5 Construction of Dynamic Many-to-Many Logic and Information Processing -- 5.6 Implications...

15
by Menezes, Alfred J.
Published 1993
Springer US
Table of Contents: ... Curves -- 2.1 Definitions -- 2.2 Group Law -- 2.3 The Discriminant and j-Invariant -- 2.4 Curves over K...

16
Published 1993
Springer Berlin Heidelberg
Table of Contents: ... -- 2. Computer Algebra Systems as Cognitive Technologies: Implication for the Practice of Mathematics...

17
by Yarlagadda, Rao K., Hershey, John E.
Published 1997
Springer US
Table of Contents: ... Transform and Its Fast Implementation -- 8 Use of the 1 -D Hadamard Transform in the Computation of a 2-D...

18
Published 2002
Springer US
Table of Contents: ... Continuous Minimax Problem and its Application to Inflation Targeting -- 12 Equilibrium Asset Price Dynamics...

19
Published 2000
Springer Netherlands
Table of Contents: .... Metabolic control design: implications and applications -- 32. Determining elasticities in situ -- 33...

20
Published 2011
Springer Berlin Heidelberg
Table of Contents: ... Dynamics -- 19 An Application of the SIR Model to the Evolution of Epidemics in Portugal- 20 Poissonian...