Limit search to available items
Nearby BJL CLASSMARKS are:
Result Page   Prev Next
Save marked records Save all on page
Mark   Media Year
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  BOOK 1959
QA9.58    
      IA3 2013 : proceedings of the 3rd Workshop on Irregular Applications Architectures and Algorithms : D Online materials  EBOOKS 2013
      ICACS 2017 : proceedings of 2017 International Conference on Algorithms, Computing and Systems : Augu Online materials  EBOOKS 2017
QA 9.58 B8 : Fundamentals of algorithmics / Gilles Brassard and Paul Bratley.; BJL     
      Fundamentals of algorithmics / Gilles Brassard and Paul Bratley. BJL  BOOK 1996
QA9.58 JACTJ : Journal of algorithms & computational technology [electronic resource].; Online materials     
      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  BOOK 1989
QA 9.59 F5 : Computability theory, semantics, and logic programming.; 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  EBOOKS c2007
QA 9.6 O6 / q : Recursion.; BJL     
      Recursion. BJL  BOOK 1988
QA9.64 : Fuzzy logic for beginners / Masao Mukaidono.; BJL     
      Fuzzy logic for beginners / Masao Mukaidono. BJL  BOOK c2001
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
QA9.64 .I78 2011 : Fuzzy logic and applications : 9th International Workshop, WILF 2011, Trani, Italy, August 29-31, 2011 : proceedings / Anna Maria Fanelli, Witold Pedrycz, Alfredo Petrosino (eds.); Online materials     
      Fuzzy logic and applications : 9th International Workshop, WILF 2011, Trani, Italy, August 29-31, 201 Online materials  EBOOKS 2011
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
QA10.4 .I54 : Information fusion [electronic resource].; Online materials     
      Information fusion [electronic resource]. Online materials  EJOURNALS 2000-
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
QA10.7 : Journal of humanistic mathematics [electronic resource].; Online materials     
      Journal of humanistic mathematics [electronic resource]. Online materials  EJOURNALS  
QA10.7 .R485 : Revista Latinoamericana de etnomatemática [electronic resource].; Online materials     
      Revista Latinoamericana de etnomatemática [electronic resource]. Online materials  EJOURNALS 2008
QA11    
      Journal for research in mathematics education. Monograph [electronic resource]. Online materials  EJOURNALS 1985-
      Mathematics in life and thought. BJL  BOOK  
      The Montana math enthusiast [electronic resource]. Online materials  EJOURNALS  
      The teaching of mathematics to physicists. BJL  BOOK  
      Zentralblatt für Didaktik der Mathematik [electronic resource] : ZDM = International reviews on mathe Online materials  EJOURNALS  
QA 11 A1    
      Activities from the Mathematics teacher / edited by Evan M. Maletsky and Christian R. Hirsch. Education Resources  BOOK 1981
      Applications and applied mathematics [electronic resource] : an international journal. Online materials  EJOURNALS 2006-
      The college mathematics journal [electronic resource]. Online materials  EJOURNALS 1984-
      International journal of mathematical education in science and technology [electronic resource]. Online materials  EJOURNALS  
13 additional entries    
QA11.A1 A8 : The Australian mathematics teacher [electronic resource].; Online materials     
      The Australian mathematics teacher [electronic resource]. Online materials  EJOURNALS  
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
Save marked records Save all on page
Result Page   Prev Next