Title: Abstract Computing Machines: A Lambda Calculus Perspective / Edition 1, Author: Werner Kluge
Title: Abstract Computing Machines: A Lambda Calculus Perspective / Edition 1, Author: Werner Kluge
Title: Acceptable Premises: An Epistemic Approach to an Informal Logic Problem, Author: James B. Freeman
Title: Activity and Sign: Grounding Mathematics Education / Edition 1, Author: Michael H.G. Hoffmann
Title: Activity and Sign: Grounding Mathematics Education / Edition 1, Author: Michael H.G. Hoffmann
Title: Adapting Proofs-as-Programs: The Curry--Howard Protocol / Edition 1, Author: Iman Poernomo
Title: Adapting Proofs-as-Programs: The Curry--Howard Protocol / Edition 1, Author: Iman Poernomo
Title: Adaptive Modelling, Estimation and Fusion from Data: A Neurofuzzy Approach / Edition 1, Author: Chris Harris
Title: Admissibility of Logical Inference Rules, Author: V.V. Rybakov
Title: Advanced Fuzzy Logic Technologies in Industrial Applications / Edition 1, Author: Ying Bai
Title: Advanced Logic for Applications / Edition 1, Author: R.E. Grandy
Title: Advanced Logic for Applications / Edition 1, Author: R.E. Grandy
Title: Advanced Mathematics: A Transitional Reference / Edition 1, Author: Stanley J. Farlow
Title: Advances in Intelligent Systems and Robotics: LAPTEC 2003, Author: Germano Lambert Torres
Title: Advances in Linear Logic, Author: Jean-Yves Girard
Title: Advances in Logic Based Intelligent Systems: Selected Papers of LAPTEC 2005: Volume 132 Frontiers in Artificial Intelligence and Applications, Author: M. Abe K. Nakamatsu
Title: Advances in Logic, Artificial Intelligence and Robotics: Laptec 2002, Author: J. M. Abe
Title: Advances in Technological Applications of Logical and Intelligent Systems: Selected Papers from the Sixth Congress on Logic Applied to Technology - Vol. 186 Frontiers in Artificial Intelligence and Applications, Author: G. Lambert-Torres
Title: Africa and Mathematics: From Colonial Findings Back to the Ishango Rods, Author: Dirk Huylebrouck
Title: After Godel: Platonism and Rationalism in Mathematics and Logic, Author: Richard Tieszen

Pagination Links