|
QA9.54 .T34 1987
|
Proof theory / |
1 |
|
QA9.54 .T64
|
Tableau systems for first order number theory and certain higher order theories / |
1 |
|
QA9.54 ǂb A57 2010eb
|
Charming Proofs : a Journey into Elegant Mathematics / |
1 |
|
QA9.56
|
Essays in constructive mathematics / |
1 |
|
QA9.56 .B44 1984
|
Foundations of constructive mathematics / |
1 |
|
QA9.56 .B75 1987
|
Varieties of constructive mathematics / |
1 |
|
QA9.56 .C6
|
Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / |
1 |
|
QA9.56 .F76 2005eb
|
From sets and types to topology and analysis : towards practicable foundations for constructive mathematics / |
1 |
|
QA9.56 .L2 1981
|
The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 / |
1 |
|
QA9.56 .N45 1986
|
Predicative arithmetic / |
1 |
|
QA9.56 .T74 1988
|
Constructivism in mathematics : an introduction / |
1 |
|
QA9.58
|
Multi-Objective Optimization in Theory and Practice II : metaheuristic algorithms.
Algorithmic governance and governance of algorithms : legal and ethical challenges /
Algorithm portfolios : advances, applications, and challenges /
Elements of the general theory of optimal algorithms /
New Advancements in Swarm Algorithms : Operators and Applications / |
5 |
|
QA9.58 .A2535 2022
|
Algorithmic modernity : mechanizing thought and action, 1500-2000 / |
1 |
|
QA9.58 .D37 2008
|
Algorithms / |
1 |
|
QA9.58 .E36 2008eb
|
How to think about algorithms / |
1 |
|
QA9.58 .H383 2012
|
Time- and Space-Efficient Self-Stabilizing Algorithms. |
1 |
|
QA9.58 .H5813 1999
|
A history of algorithms : from the pebble to the microchip / |
1 |
|
QA9.58 .J38 2020eb
|
The constitution of algorithms : ground-truthing, programming, formulating / |
1 |
|
QA9.58.L464 2007eb
|
Learning Causal Models Of Multivariate Systems : And The Value Of It For The Performance Modeling Of Computer Programs. |
1 |
|
QA9.58 .N39 2023
|
Concise guide to numerical algorithmics : the foundations and spirit of scientific computing / |
1 |