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
QA 11 A1 : Activities from the Mathematics teacher / edited by Evan M. Maletsky and Christian R. Hirsch.; Education Resources
Activities from the Mathematics teacher / edited by Evan M. Maletsky and Christian R. Hirsch.
Education Resources
BOOK
1981
QA11.A1 C65 1978 : SNCC's Stories The African American Freedom Movement in the Civil Rights South.; Online materials
SNCC's Stories The African American Freedom Movement in the Civil Rights South.
Online materials
EBOOKS
1978
QA 11 A1 C7 : Contemporary issues in mathematics education / edited by Estela A. Gavosto, Steven G. Krantz, William McCallum.; BJL
Contemporary issues in mathematics education / edited by Estela A. Gavosto, Steven G. Krantz, William
BJL
BOOK
1999
QA 11 A1 E64 / q : Equals : mathematics and special educational needs.; BJL
Equals : mathematics and special educational needs.
BJL
PERIODICAL
1995-
QA 11 A1 F692 / q : For the learning of mathematics.; BJL
For the learning of mathematics.
BJL
PERIODICAL
1980-
QA 11 A1 I4 : The influence of computers and informatics on mathematics and its teaching : [proceedings of a symposium held in Strasbourg in March 1985 and sponsored by the International Commission on Mathematical Instruction] / editors A.G. Howson, J.-P. Kahane.; BJL
The influence of computers and informatics on mathematics and its teaching : [proceedings of a sympos
BJL