Start Over Brief Display Limit/Sort
     
Limit search to available items
Nearby BJL CLASSMARKS are:
Result Page   Prev Next
Save marked records Save all on page
Mark   Media Year
QA 9.54 T1, : Proof theory.; BJL     
      Proof theory. BJL  BOOK 1975
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  BOOK 1989
QA 9.59 F5 : Computability theory, semantics, and logic programming.; BJL     
      Computability theory, semantics, and logic programming. BJL  BOOK 1987
QA 9.6 O6 / q : Recursion.; BJL     
      Recursion. BJL  BOOK 1988
QA 9.64 C8 : Fuzzy modeling and genetic algorithms for data mining and exploration.; BJL     
      Fuzzy modeling and genetic algorithms for data mining and exploration. BJL  BOOK c2005
QA 9.64 M9 : Fuzzy logic for beginners / Masao Mukaidono.; BJL     
      Fuzzy logic for beginners / Masao Mukaidono. BJL  BOOK c2001
QA9.65 .C43 2007 : Thinking About Godel And Turing : essays on complexity, 1970-2007 / Gregory J. Chaitin ; with a foreward by Paul Davies.; BJL     
      Thinking About Godel And Turing : essays on complexity, 1970-2007 / Gregory J. Chaitin ; with a forew BJL  BOOK c2007
QA 9.65 G5 : Godel's theorem in focus / edited by S.G. Shanker.; BJL     
      Godel's theorem in focus / edited by S.G. Shanker. BJL  BOOK 1988
QA 9.65 M5 / q : The foundations of mathematics : a new analysis showing Godel's theonem based on fallacy.; BJL     
      The foundations of mathematics : a new analysis showing Godel's theonem based on fallacy. BJL  BOOK 1974
QA 9.65 S6 : Godel's incompleteness theorems.; BJL     
      Godel's incompleteness theorems. BJL  BOOK 1992
QA 9.7 C4 : Model theory / C.C. Chang, H.J. Keisler.; BJL     
      Model theory / C.C. Chang, H.J. Keisler. BJL  BOOK 1990
QA 9.7 M1 : The dyamic model : today's crystal ball : an inaugural lecture.; BJL     
      The dyamic model : today's crystal ball : an inaugural lecture. BJL  BOOK 1974
QA 9.7 P9 : Model theory and modules.; BJL     
      Model theory and modules. BJL  BOOK 1988
QA 9.8 H7    
      Godel, Escher, Bach : an eternal golden braid. BJL  BOOK 1979
      Godel, Escher, Bach : an eternal golden braid / Douglas R. Hofstadter. BJL  BOOK 2000
QA 10.3 A7 : Logic and Boolean algebra.; BJL     
      Logic and Boolean algebra. BJL  BOOK 1962
QA 10.3 B7 : A boolean algebra, abstract and concrete.; BJL     
      A boolean algebra, abstract and concrete. BJL  BOOK 1965
QA 10.3 D9    
      The complexity of Boolean networks. BJL  BOOK 1988
      Introduction to Boolean algebras. BJL  BOOK 1971
QA 10.3 F5 : Boolean algebra and its applications, including Boolean matrix algebra.; BJL     
      Boolean algebra and its applications, including Boolean matrix algebra. BJL  BOOK 1964
QA 10.3 H1 : Lectures on Boolean algebras.; BJL     
      Lectures on Boolean algebras. BJL  BOOK 1963
QA 10.3 H2    
      Boolean methods in operations research and related areas / by P.L. Hammer (Ivanescu) and S. Rudeanu. BJL  BOOK 1968
      Handbook of Boolean algebras / edited by J.D. Monk with the cooperation of R. Bonnet. BJL  BOOK 1989
QA 10.3 H7 : Applied Boolean algebra : an elementary introduction.; BJL     
      Applied Boolean algebra : an elementary introduction. BJL  BOOK 1960
QA 10.3 K2 : Boolean systems / Douglas Kaye.; BJL     
      Boolean systems / Douglas Kaye. BJL  BOOK 1968
QA 10.3 M5 : Schaum's outline of theory and problems of Boolean algebra and switching circuits.; Departmental Locations, BJL      
      Schaum's outline of theory and problems of Boolean algebra and switching circuits. Departmental Locations, BJL   BOOK 1970
QA 10.3 R8 : Simplified independence proofs : Boolean valued models of set theory.; BJL     
      Simplified independence proofs : Boolean valued models of set theory. BJL  BOOK 1969
QA 10.3 R9 : Boolean functions and equations.; BJL     
      Boolean functions and equations. BJL  BOOK 1974
QA 10.3 S7 : Boolean algebra and its uses.; Departmental Locations, BJL      
      Boolean algebra and its uses. Departmental Locations, BJL   BOOK 1974
QA 10.3 W5 : Boolean algebra and its applications.; BJL     
      Boolean algebra and its applications. BJL  BOOK 1961
QA 10.3 W7 : Boolean algebra with computer applications.; BJL     
      Boolean algebra with computer applications. BJL  BOOK 1970
QA 10.5 U7 : Teach now! Mathematics : becoming a great mathematics teacher / Julia Upton.; BJL     
      Teach now! Mathematics : becoming a great mathematics teacher / Julia Upton. BJL  BOOK 2015
QA 11    
      Mathematics in life and thought. BJL  BOOK  
      The teaching of mathematics to physicists. BJL  BOOK  
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  BOOK 1986
QA 11 A1 I6    
      Proceedings of the Fifth International Congress on Mathematical Education / edited by Marjorie Carss. BJL  BOOK 1986
      Report on the work of the International Symposium on School Mathematics Teaching, Budapest, 27 August BJL  BOOK 1963
QA 11 A1 M41 / q : Mathematical angles; BJL     
      Mathematical angles BJL  PERIODICAL 2023
QA 11 A1 M42 / q : Mathematics in school.; BJL     
      Mathematics in school. BJL  PERIODICAL  
QA 11 A1 M421 / q : Mathematics teaching : the bulletin of the Association for Teaching Aids in Mathematics.; BJL     
      Mathematics teaching : the bulletin of the Association for Teaching Aids in Mathematics. BJL  PERIODICAL 1962-
QA 11 A1 P4 : Perspectives on mathematics education / edited by B. Christiansen, A.G. Howson and M. Otte.; BJL     
      Perspectives on mathematics education / edited by B. Christiansen, A.G. Howson and M. Otte. BJL  BOOK 1985
Save marked records Save all on page
Result Page   Prev Next
Start Over Brief Display Limit/Sort