32 results · clear filters Sort: newest oldest name

1. Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings
   2008 · Sydney, Australia
   Computer and information sciences
   e10tg6d
2. Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007
   2007 · Bremen, Germany
   Computer and information sciences
   e10tg2n
3. Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007
   2007 · Bremen, Germany
   Computer and information sciences
   e10tgyw
4. Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
   2006 · Seattle, United States
   Computer and information sciences
   e10tg5f
5. Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
   2004 · Cork, Ireland
   Computer and information sciences
   e10tg4h
6. Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004.
   2004 · Cork, Ireland
   Computer and information sciences
   e10tgex
7. Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings
   2001 · Siena, Italy
   Computer and information sciences
   e10tg3k

As JSON: https://labs.confref.org/api/search?field=1.2&discipline=Q431667&page=2