Call Number (LC) | Title | Results |
---|---|---|
QA76.9.A94 S67 2023 | Springer handbook of augmented reality / | 2 |
QA76.9.A94 U53 2023 | Understanding virtual reality : challenging perspectives for media literacy and education / | 1 |
QA76.9.A94 W37 2012 | Augmented reality using Appcelerator Titanium Starter : learn to create augmented reality application in no time using the Appcelerator Titanium framework / | 1 |
QA76.9.A955 | Mechanizing Hypothesis Formation Principles and Case Studies. | 1 |
QA76.9 .A96 | Recent Progress in the Boolean Domain. | 1 |
QA76.9.A96 |
Automated reasoning 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. Automated technology for verification and analysis : 21st international symposium, ATVA 2023, Singapore, October 24-27, 2023, proceedings. Automated technology for verification and analysis 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings / Automated technology for verification and analysis 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021, proceedings / Automated technology for verification and analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings / Interactive theorem proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings / Automated reasoning with analytic tableaux and related methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings / Automated reasoning : 9th International Joint Conference, IJCAR 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, proceedings / Interactive theorem proving : 9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings / Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / Certified programming with dependent types a pragmatic introduction to the Coq proof assistant / Automated model building / Interactive theorem proving : 5th International Conference, ITP 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / Automated technology for verification and analysis : 20th International Symposium, ATVA 2022, Beijing, China, October 25-28, 2022, proceedings / Automated theorem proving a logical basis / Advanced Topics in Bisimulation and Coinduction. Automated technology for verification and analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings / Automated technology for verification and analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings / Automated reasoning with analytic tableaux and related methods : 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21-24, 2015. Proceedings / Automated deduction -- CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015 : proceedings / Automated technology for verification and analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings / Automated reasoning with analytic tableaux and related methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings / Automated reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27-July 2, 2016, Proceedings / Automated reasoning : 7th International Joint Conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings / Interactive theorem proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings / Automated reasoning with analytic tableaux and related methods 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011 : proceedings / Automated Reasoning : Essays in Honor of Woody Bledsoe / 5th Conference on automated deduction : Les Arcs, France, July 8-11, 1980 / Automated technology for verification and analysis 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010 : proceedings / The automation of reasoning with incomplete information from semantic foundations to efficient computation / Interactive theorem proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016. Proceedings / Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings / Interactive theorem proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings / Automated technology for verification and analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings / Exploring formalisation : a primer in human-readable mathematics in Lean 3 with examples from simplicial topology / Automated reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings. Automated deduction, CADE-15 15th International conference on automated deduction, Lindau, Germany, July 5-10, 1998 : proceedings. |
44 |
QA76.9.A96 A38 2009 | Algorithmic decision theory First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009, proceedings / | 1 |
QA76.9.A96 A38 2011 | Algorithmic decision theory second international conference, ADT 2011, Piscataway, NJ, USA, October 26-28, 2011 : proceedings / | 1 |
QA76.9.A96 A82 2005 | Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings / | 1 |
QA76.9.A96 A82 2005eb | Automated technology for verification and analysis third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings / | 1 |
QA76.9.A96 A82 2006 | Automated technology for verification and analysis 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings / | 2 |
QA76.9.A96 A82 2006eb | Automated technology for verification and analysis 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 : proceedings / | 1 |
QA76.9.A96 A85 2000 | Automated deduction in classical and non-classical logics : selected papers / | 2 |
QA76.9.A96 A88 2008eb | Automated technology for verification and analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, proceedings / | 1 |
QA76.9.A96 A88 2009 | Automated technology for verification and analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, proceedings / | 1 |
QA76.9.A96 A88 2011 | Automated technology for verification and analysis 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings / | 1 |
QA76.9.A96 A88 2012 | Automated technology for verification and analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings / | 1 |
QA76.9.A96 A88 2013 | Automated technology for verification and analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings / | 1 |
QA76.9.A96 A9 1995 | Automated practical reasoning : algebraic approaches / | 1 |
QA76.9.A96 A918 1997 | Automated reasoning and its applications : essays in honor of Larry Wos / | 1 |