8 results · clear filters Sort: newest oldest name

1. International Workshop on First-Order Theorem Proving (FTP) (FTP)
   series, 11 events, 1997 to 2012
   Computer and information sciences
   s10mnrf
2. 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
3. First Order Theorem Proving (FTP) (FTP)
   2008-08-12/15 · Sydney, Australia
   Computer and information sciences
   e12k647
4. First Order Theorem Proving (FTP) (FTP)
   2006-08-17/20 · Seattle, United States
   Computer and information sciences
   e12k639
5. First Order Theorem Proving (FTP) (FTP)
   2004-07-04/08 · Cork, Ireland
   Computer and information sciences
   e12k62b
6. 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
7. First Order Theorem Proving (FTP) (FTP)
   2001-01-01 · Siena, Italy
   Computer and information sciences
   e12k61d
8. First Order Theorem Proving (FTP) (FTP)
   2000-01-01 · St Andrews, United Kingdom
   Computer and information sciences
   e12k60f

As JSON: https://labs.confref.org/api/search?series=s10mnrf&from=2000&to=2009