12 results · clear filters Sort: newest oldest name

1. First Order Theorem Proving (FTP) (FTP)
   2012-06-26/29 · Manchester, United Kingdom
   Computer and information sciences
   e12k663
2. International Workshop on First-Order Theorem Proving (FTP) (FTP)
   series, 11 events, 1997 to 2012
   Computer and information sciences
   s10mnrf
3. First Order Theorem Proving (FTP) (FTP)
   2010-07-16/19 · Edinburgh, United Kingdom
   Computer and information sciences
   e12k655
4. Proceedings of the 7th International Workshop on First-Order Theorem Proving, FTP 2009, Oslo, Norway, July 6-7, 2009. (FTP)
   2009-07-06/07 · Oslo, Norway
   Computer and information sciences
   e1141vx
5. First Order Theorem Proving (FTP) (FTP)
   2008-08-12/15 · Sydney, Australia
   Computer and information sciences
   e12k647
6. First Order Theorem Proving (FTP) (FTP)
   2006-08-17/20 · Seattle, United States
   Computer and information sciences
   e12k639
7. First Order Theorem Proving (FTP) (FTP)
   2004-07-04/08 · Cork, Ireland
   Computer and information sciences
   e12k62b
8. 4th International Workshop on First-Order Theorem Proving, FTP 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-14, 2003 (FTP)
   2003-01-01 · Valencia, Spain
   Computer and information sciences
   e1141tz
9. First Order Theorem Proving (FTP) (FTP)
   2001-01-01 · Siena, Italy
   Computer and information sciences
   e12k61d
10. First Order Theorem Proving (FTP) (FTP)
    2000-01-01 · St Andrews, United Kingdom
    Computer and information sciences
    e12k60f
11. Automated Deduction in Classical and Non-Classical Logics, Selected Papers (FTP)
    1998-01-01 · Schloss Wilhelminenberg, Austria
    Computer and information sciences
    e1141s1
12. First Order Theorem Proving (FTP) (FTP)
    1997-01-01 · Schloss Hagenberg im Mühlkreis, Austria
    Computer and information sciences
    e12k5zh

As JSON: https://labs.confref.org/api/search?series=s10mnrf