Search alternatives:
"algorithmics" » "algorithmic", "algorithmus", "algorithmes"

1
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... by Kolmogorov Complexity -- Adversary Lower Bounds for Nonadaptive Quantum Algorithms -- On Second-Order Monadic...

2
by Indrzejczak, Andrzej
Published 2010
Springer Netherlands
Subjects: ...Algorithms...

3
by László, Kóczy
Published 2023
MDPI - Multidisciplinary Digital Publishing Institute
Subjects: ...genetic algorithm...

4
by de Andres Sanchez, Jorge
Published 2022
MDPI - Multidisciplinary Digital Publishing Institute
Subjects: ...genetic algorithm...

5
by Dutilh Novaes, Catarina
Published 2007
Springer Netherlands
Table of Contents: ...Supposition Theory: Algorithmic Hermeneutics -- Buridan's Notion of Consequentia -- Obligationes...

6
Published 2001
Springer Netherlands
Table of Contents: ... Logic -- Algorithms and Decision Problems: A Crash Course in Recursion Theory -- Mathematics of Logic...

7
Published 1983
Springer Netherlands
Table of Contents: ... to Standard First-order Semantics -- I.4. Higher-order Logic -- I.5. Predicative Logics -- I.6. Algorithms...

8
Published 1993
Springer Netherlands
Table of Contents: ... of Mathematics -- Working Foundations — ‘91 -- Minds and Brains, Algorithms and Machines -- Remarks...

9
Published 2022
Springer International Publishing
Table of Contents: ...) -- 4. Algorithms in Takmilat al-‛Uyūn of al-Iṣfahāni: Sources and Validation (Nacéra Bensaou) -- Part 2...

10
Published 2000
Springer Netherlands
Table of Contents: ... in High-Quality Software Design -- A Complete Neural Network Algorithm for HORN-SAT -- Nondeterministic...

11
by Gabbay, Dov M.
Published 2003
Elsevier North Holland
Table of Contents: ... -- Chapter 14. Modal description logics -- Chapter 15. Tableau decision algorithms for modal description...

12
Published 1981
Springer Netherlands
Table of Contents: ...Abstraction operator -- Algebraic structures -- Algorithms -- Analyticity -- Antinomies...

13
by Shagrir, Oron
Published 2022
Oxford University Press
... computation is weak. Theoretical notions such as algorithms, effective procedure, program, and automaton play...

14
by Fraïssé, R.
Published 1974
Springer Netherlands
Table of Contents: .... Absolute Eliminant -- 3.2. (k,p)-Eliminant -- 3.3. Elimination Algorithms for the Chain of Rational Numbers...

15
by Coletti, Giulianella, Scozzafava, R.
Published 2002
Springer Netherlands
Table of Contents: ... The algorithm -- 14.2 Locally strong coherence -- 15 Lower and Upper Conditional Probabilities -- 15.1 Coherence...

16
by Nelson, R.J.
Published 1989
Springer Netherlands
... dissolve if one distinguishes as I now do in Chapter II between free and embodied algorithms. I have also...

17
by Clerbout, Nicolas, Rahman, Shahid
Published 2015
Springer International Publishing
.... This is followed by a chapter that demonstrates the use of the algorithm in showing how to transform a specific...

18
by Horská, Anna
Published 2014
Springer International Publishing
.... This representation is analysed and connection to set-theoretical representation is found, namely an algorithm...

19
by Fletcher, P.
Published 1998
Springer Netherlands
...) definitions of construction and proof, and describes the algorithmic substructure underlying intuitionistic...

20
by Czelakowski, Janusz
Published 2015
Springer Netherlands
... in algorithmic and programming theory. The coverage thus fills a notable lacuna in the literary corpus...