296 treff

Dewey-nr: 511.3
Bio-inspired computing -- theories and applications : part II 11th international conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, revised selected papers. /
Edited by Linqiang Pan [and three others]...
Bok Engelsk 2021 · Vis mer
A course in analytic number theory
Marius Overholt
Bok Engelsk 2014 · Vis mer
Alan Turing : his work and impact
edited by S. Barry Cooper and Jan van Lee...
Bok Engelsk 2013 · Vis mer
Teaching and learning proof across the grades : a K-16 perspective
edited by Despina A. Stylianou, Maria L. ...
Bok Engelsk 2009 · Vis mer
Automation of reasoning. 1. Classical papers on computational logic 1957-1966

Bok Engelsk 1983 · Vis mer
The trace formula and base change for GL(3)
Yuval Z. Flicker
Bok Språk ikke angitt 1982 · Vis mer
Degree spectra of relations on a cone
Matthew Harrison-Trainor.
Bok Engelsk 2018 · Vis mer
Probabilistic logics for reasoning about decision making under uncertainty
Magdalena Ivanovska
Bok Engelsk 2014 · Vis mer
Default and autoepistemic reasoning in only-knowing logic
Lian, Espen Hallenstvedt
Bok Engelsk 2013 · Vis mer
On the methods of mechanical non-theorems
André Rognes
Bok Engelsk 2013 · Vis mer
Advanced analytic number theory : L-functions
Moreno, Carlos J.
Bok Engelsk 2005 · Vis mer
Set theory
Jech, Thomas J..
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Papers on weak first-order theories and decidability problems
Juvenal Murwanashyaka
Bok Engelsk 2023 · Vis mer
A hierarchy of Turing degrees : a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability
Rod Downey, Noam Greenberg
Bok Engelsk 2020 · Vis mer
Modern applications of automata theory
editors: Deepak D'Souza, Priti Shankar
Bok Engelsk 2012 · Vis mer
Proof and proving in mathematics education : the 19th ICMI study
Gila Hanna, Michael de Villiers, editors
Bok Engelsk 2012 · Vis mer
Cogwheels of the mind : the story of Venn diagrams
A.W.F. Edwards ; foreword by Ian Stewart
Bok Engelsk 2004 · Vis mer
Automated deduction - CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
International Conference on Automated Deduction
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Sieves in number theory
George Greaves
Bok Engelsk 2001 · Vis mer
Problems in analytic number theory
M. Ram Murty
Bok Engelsk 2001 · Vis mer
Vis flere utgaver
Vis flere utgaver
Analytic number theory
Donald J. Newman
Bok Engelsk 1998 · Vis mer
An introduction to Kolmogorov complexity and its applications
Ming Li, Paul Vitányi
Bok Engelsk 1997 · Vis mer
Vis flere utgaver
Vis flere utgaver
A theory of logic based on probability. Part 1. The TEE model
by Ellen Hisdal
Bok Engelsk 1984 · Vis mer
Fuzzy logic hybrid extensions of neural and optimization algorithms : theory and applications /
Oscar Castillo, Patricia Melin, editors.
Bok Engelsk 2021 · Vis mer
The tools of mathematical reasoning
Tamara J. Lakins
Bok Engelsk 2016 · Vis mer
Models and games
Väänänen, Jouko.
Bok Engelsk 2011 · Vis mer
Simply complexity : a clear guide to complexity theory
Neil F. Johnson
Bok Engelsk 2009 · Vis mer
The method of variable splitting
Roger Antonsen
Bok Engelsk 2008 · Vis mer
A higher-dimensional sieve method
Harold G. Diamond, H. Halberstam ; with P...
Bok Engelsk 2008 · Vis mer
Types and programming languages
Pierce, Benjamin C..
Bok Engelsk 2002 · Vis mer