QA 9.54 W2 / q : Can you prove it? : developing concepts of proof in primary and secondary schools / Sue Waring.; BJL
Can you prove it? : developing concepts of proof in primary and secondary schools / Sue Waring.
BJL
BOOK
c2008
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
BOOK
1959
QA 9.58 B8 : Fundamentals of algorithmics / Gilles Brassard and Paul Bratley.; BJL
Fundamentals of algorithmics / Gilles Brassard and Paul Bratley.
BJL
BOOK
1996
QA 9.58 R6 : Dominant algorithms to evaluate artificial intelligence : from the view of throughput model / authored by Waymond Rodgers.; BJL
Dominant algorithms to evaluate artificial intelligence : from the view of throughput model / authore
BJL
BOOK
2022
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.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
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