Browse Results

Showing 55,701 through 55,725 of 61,728 results
Title Author ISBN Copyright Features Action
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science #1690) 4597264 Yves Bertot Gilles Dowek Andre Hirschowitz Christine Paulin Laurent Thery 9783540482567 1999
Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings (Lecture Notes in Computer Science #2152) 4745166 Richard J. Boulton Paul B. Jackson 9783540447559 2001
Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings (Lecture Notes in Computer Science #3603) 4758450 Joe Hurd Tom Melham 9783540318200 2005
Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Lecture Notes in Computer Science #5170) 4614616 Otmane Ait Mohamed César Munoz Sofiène Tahar 9783540710677 2008
Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings (Lecture Notes in Computer Science #4732) 4783580 Klaus Schneider Jens Brandt 9783540745914 2007
Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science #3223) 4643871 Konrad Slind Annette Bunker Ganesh C. Gopalakrishnan 9783540301424 2004
Theorem Proving with the Real Numbers (Distinguished Dissertations) 3740386 John Harrison 9781447115915 1998
Theorems, Corollaries, Lemmas, and Methods of Proof (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts #82) 3026519 Richard J. Rossi 9781118030578 2006
Theoremus: A Student's Guide to Mathematical Proofs 4097913 Lito Perez Cruz 9783030683757 2021 Contains images
The Theoretic Life - A Classical Ideal and its Modern Fate: Reflections on the Liberal Arts 2353080 Alexander S. Rosenthal-Pubul 9783030022815 2018 Contains images
Theoretical and Empirical Foundations of Critical Global Citizenship Education (Critical Global Citizenship Education) 3140180 Carlos Alberto Torres 9781315452562 2017
Theoretical and Empirical Foundations of Critical Global Citizenship Education (Critical Global Citizenship Education) 5575656 Carlos Alberto Torres 9781315452555 2017
Theoretical and Historical Evolutions of Self-Directed Learning: The Case for Learner-Led Education (Routledge Research in Education) 5250222 Caleb Collier 9781000864786 2023
Theoretical and Historical Evolutions of Self-Directed Learning: The Case for Learner-Led Education (Routledge Research in Education) 5250223 Caleb Collier 9781000864793 2023
Theoretical and Practical Reason in Economics: Capacities and Capabilities (SpringerBriefs in Philosophy) 4658168 Ricardo F. Crespo 9789400755642 2013 Contains images
Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings (Lecture Notes in Computer Science #2215) 4743395 Naoki Kobayashi Benjamin C. Pierce 9783540455004 2001
Theoretical Aspects of Computing – ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings (Lecture Notes in Computer Science #9965) 2852139 Augusto Sampaio Farn Wang 9783319467504 2016 Contains images
Theoretical Aspects of Computing – ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings (Lecture Notes in Computer Science #10580) 2252874 Dang Van Hung Deepak Kapur 9783319677293 2017 Contains images
Theoretical Aspects of Computing - ICTAC 2004: First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers (Lecture Notes in Computer Science #3407) 4664599 Zhiming Liu Keijiro Araki 9783540318620 2005
Theoretical Aspects of Computing - ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings (Lecture Notes in Computer Science #3722) 4747899 Dang Van Hung Martin Wirsing 9783540320722 2005
Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings (Lecture Notes in Computer Science #4281) 4618950 Kamel Barkaoui Ana Cavalcanti Antonio Cerone 9783540488163 2006
Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings (Lecture Notes in Computer Science #4711) 4829189 Cliff B. Jones Zhiming Liu Jones Woodcock 9783540752929 2007
Theoretical Aspects of Computing -- ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings (Lecture Notes in Computer Science #6916) 4727789 Antonio Cerone Pekka Pihlajasaari 9783642232831 2011
Theoretical Aspects of Computing - ICTAC 2012: 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings (Lecture Notes in Computer Science #7521) 4787493 Abhik Roychoudhury Meenakshi D´Souza 9783642329432 2012
Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings (Lecture Notes in Computer Science #9399) 2835892 Martin Leucker Camilo Rueda Frank D. Valencia 9783319251509 2015 Contains images

Refine Search

Showing 55,701 through 55,725 of 61,728 results