My Library

University LibraryCatalogue

For faster,
simpler
access.
Use Lean
Library.
Get it now
Don't show me again
     
Limit search to items available for borrowing or consultation
Nearby TITLES are:
Result Page   Prev Next  
Save Marked Record Save All Records Save Marked to My Lists
    Year Entries
Logic, epistemology and the unity of science ; v.34. 2214-9775   2014 1
Logic, epistemology and the unity of science ; v. 35.   2015 1
Logic, epistemology and the unity of science ; v. 36.   2015 1
Logic, epistemology and the unity of science ; v. 37.   2015 1
Logic, epistemology and the unity of science ; v.39.   2016 1
Logic, epistemology and the unity of science ; v. 41.   2017 1
Logic, epistemology and the unity of science ; vol. 22.   c2011 1
Logic, epistemology and the unity of science ; volume 1.   2004 1
Logic, Epistemology, Metaphysics -- / 10.  1981 1
Logic, Ethics and the Ethics of Logic / / Catherine LeggLegg, Catherine271 --43  2014 1
Logic, Ethics, and the Self / 133 --Chapter VIII  2005 1
Logic Expressions and Minimization / 57 --  1985 1
Logic Families   5
Logic Families of Integrated Circuits and Their Signaling Characteristics / 213 --11.1  2012 1
Logic for Analyzing Abstractions of Graph Transformation Systems / / Paolo Baldan, Barbara Konig and Bernhard Konig --  2003 1
Logic for applications   3
Logic for Attaining Buddhahood by Means of True Wisdom / 240 --XXV.  2003 1
A Logic for Categorial Grammars: Lambek's Syntactic Calculus --   2012 1
Logic for computer science / Steve Reeves, Michael Clark.  1990 1
Logic for Computer Science and Artificial Intelligence / [electronic resource] / Caferra, Ricardo.  2011 1
Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier.  1986 1
Logic for Computer Science : Foundations of Automatic Theorem Proving, Second Edition.   2015 1
Logic for computer scientists / [electronic resource] / Uwe Schöning.  c2008 1
Logic for concurrency and synchronisation   2
Logic for contingentist paraphrases / 253 --4.4.4  2016 1
A Logic for Extensive Games with Short Sight / / Chanjuan Liu, Fenrong Liu and Kaile Su --  2013 1
A Logic for Governance Research -- / 3.  2001 1
A Logic for Information Flow Analysis of Distributed Programs / / Musard Balliu --  2013 1
Logic for lawyers : a guide to clear legal thinking / by Ruggero J. Aldisert.  c1989 1
Logic for learning : learning comprehensible theories from structured data   2
Logic for mathematicians   2
A Logic for Organizing Information --   c2012 1
Logic for philosophers / Richard L. Purtill.  1971 1
Logic for philosophy / by Theodore Sider.  2010 1
Logic for problem solving / Robert Kowalski.  1979 1
Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings   2
Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings   3
Logic for programming and automated reasoning : proceedings / Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)  1999 1
Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings   3
Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings   3
Logic for programming artificial intelligence and reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings   3
Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings   2
Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings   2
Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings   2
Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings   2
Logic for programming, artificial intelligence, and reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, proceedings / [electronic resource] : Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.).  2008 1
Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers / Edmund M. Clarke, Andrei Voronkov (eds.).  2010 1
Logic for programming, artificial Intelligence, and reasoning : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings / Christian G. Fermüller, Andrei Voronkov (eds.).  2010 1
Logic for programming, artificial intelligence, and reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings / edited by Nikolaj Bjørner, Andrei Voronkov.  2012 1
Logic for programming, artificial intelligence, and reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, proceedings / [electronic resource] : Ken McMillan, Aart Middeldorp, Andrei Voronkov (eds.).  2013 1
Save Marked Record Save All Records Save Marked to My Lists
 
Can't find that book? Try BONUS+

Search Discovery

Search CARM Centre Catalogue

Search Trove

Result Page   Prev Next