50 results · clear filters Sort: newest oldest name

1. e12frdc (CADE 2009)
   2009-02-08 · Montreal, Canada
   Mathematics
   e12frdc
2. Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings
   2008 · Sydney, Australia
   Computer and information sciences
   e10tg6d
3. e12frce (CADE 2007)
   2007-07-17/20 · Bremen, Germany
   Mathematics
   e12frce
4. 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
5. 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
6. 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
7. e12frbg (CADE 2005)
   2005-07-22/27 · Tallinn, Estonia
   Mathematics
   e12frbg
8. Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
   2004 · Cork, Ireland
   Computer and information sciences
   e10tg4h
9. 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
10. e12fraj (CADE 2003)
    2003-07-28 · Miami Beach, United States
    Mathematics
    e12fraj
11. e12fr9m (CADE 2002)
    2002-07-27/30 · Copenhagen, Denmark
    Mathematics
    e12fr9m
12. Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings
    2001 · Siena, Italy
    Computer and information sciences
    e10tg3k
13. e12fr8p (CADE 2000)
    2000-07-17/20 · Pittsburgh, United States
    Mathematics
    e12fr8p
14. e12fr6t (CADE 1999)
    1999-07-07 · Trento, Italy
    Mathematics
    e12fr6t
15. e12fr7r (CADE 1998)
    1998-05-07 · Lindau, Germany
    Mathematics
    e12fr7r
16. e12fr5w (CADE 1997)
    1997-07-13/17 · Townsville, Australia
    Mathematics
    e12fr5w
17. e12fr4y (CADE 1996)
    1996-07-30 · New Brunswick, United States
    Mathematics
    e12fr4y
18. e12fr30 (CADE 1994)
    1994-06-26 · Nancy, France
    Mathematics
    e12fr30
19. e12fr22 (CADE 1992)
    1992-06-15/18 · Saratoga Springs, United States
    Mathematics
    e12fr22
20. e12fr14 (CADE 1990)
    1990-07-24/27 · Kaiserslautern, Germany
    Mathematics
    e12fr14
21. e12fr06 (CADE 1988)
    1988-05-23/26 · Argonne, United States
    Mathematics
    e12fr06
22. e12fqz8 (CADE 1986)
    1986-07-27 · Oxford, United Kingdom
    Mathematics
    e12fqz8
23. e12fqya (CADE 1984)
    1984-05-14/16 · Napa, United States
    Mathematics
    e12fqya
24. e12fqxc (CADE 1982)
    1982-07-06 · New York, United States
    Mathematics
    e12fqxc
25. e12fqwe (CADE 1980)
    1980-08-07 · Les Arcs, France
    Mathematics
    e12fqwe

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