QA9.56 .B735 2011 : Apartness and uniformity [electronic resource] : a constructive development / Douglas S. Bridges, Luminiţa Simona Vîţă.; Online materials

Apartness and uniformity [electronic resource] : a constructive development / Douglas S. Bridges, Lum
Online materials

EBOOKS

c2011

QA 9.56 B8 : Varieties of constructive mathematics.; BJL

Varieties of constructive mathematics.
BJL

BOOK

QA 9.56 I6 : Constructivity in mathematics / edited by A. Heyting.; BJL

Constructivity in mathematics / edited by A. Heyting.
BJL

Journal of algorithms & computational technology [electronic resource].
Online materials

EJOURNALS

2007

QA9.58 .R63 2020 : Artificial intelligence in a throughput model : some major algorithms / Waymond Rodgers, Chair Professor, University of Texas, El Paso, Texas, USA.; Online materials

Artificial intelligence in a throughput model : some major algorithms / Waymond Rodgers, Chair Profes
Online materials

EBOOKS

2020

QA 9.58 S6 : Design and analysis of algorithms.; BJL

Design and analysis of algorithms.
BJL

BOOK

1989

QA9.58 .W36 2010eb : Approximation and online algorithms : 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010 : revised papers / Klaus Jansen, Roberto Solis-Oba (eds.).; Online materials

Approximation and online algorithms : 8th International Workshop, WAOA 2010, Liverpool, UK, September
Online materials

EBOOKS

2011

QA9.59 : SNC 2014 : proceedings of the 2014 Symposium on Symbolic-Numeric Computation : July 28-31, 2014, Shanghai, China / Stephen M. Watt, Jan Verschelde, Lihong Zhi, (editors) ; in-cooperation ACM SIGSAM.; Online materials

SNC 2014 : proceedings of the 2014 Symposium on Symbolic-Numeric Computation : July 28-31, 2014, Shan
Online materials

EBOOKS

2014

QA9.59 .B66 2007 : Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey.; BJL

Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey.
BJL

BOOK

2007

QA9.59 .C67 2011 : Models of computation in context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27-July 2, 2011, proceedings / Benedikt Löwe [and others] (eds.).; Online materials

Models of computation in context : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgar
Online materials

EBOOKS

2011

QA 9.59 C9 : Computability : an introduction to recursive function theory.; BJL

Computability : an introduction to recursive function theory.
BJL

BOOK

1980

QA 9.59 E6 : Computability : computable functions, logic, and the foundations of mathematics / R.L. Epstein, W.A. Carnielli.; BJL

Computability : computable functions, logic, and the foundations of mathematics / R.L. Epstein, W.A.
BJL

Computability theory, semantics, and logic programming.
BJL

BOOK

1987

QA9.59 .S53 2007 : SNC'07 [electronic resource] : proceedings of the 2007 International Workshop on Symbolic-Numeric Computation, London (Ontario, Canada), July 25-27, 2007 / edited by Jan Verschelde &Stephen M. Watt.; Online materials

SNC'07 [electronic resource] : proceedings of the 2007 International Workshop on Symbolic-Numeric Com
Online materials