![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
First Order Theorem Proving (FTP)
8th FTP 2011: Bern, Switzerland
- Martin Giese, Roman Kuznets:
TABLEAUX 2011 - Workshops, Tutorials, and Short Papers, Bern, Switzerland, July 4-8, 2011. University of Bern, Technical Report IAM-11-002, 2011 [contents]
7th FTP 2009: Oslo, Norway
- Nicolas Peltier, Viorica Sofronie-Stokkermans:
Proceedings of the 7th International Workshop on First-Order Theorem Proving, FTP 2009, Oslo, Norway, July 6-7, 2009. CEUR Workshop Proceedings 556, CEUR-WS.org 2010 [contents]
Special Issue appered in J. Symb. Comput. 47(9)
6th FTP 2007: Liverpool, UK
Special Issue appered in Ann. Math. Artif. Intell. 55(1-2)
5th FTP 2005: Koblenz, Germany
4th FTP 2003: Valencia, Spain
- Ingo Dahn, Laurent Vigneron:
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. Electronic Notes in Theoretical Computer Science 86(1), Elsevier 2003 [contents]
Special Issue appered in J. Autom. Reason. 33(3-4)
3rd FTP 2001: St Andrews, Scotland, UK
Special Issue appered in J. Symb. Comput. 36(1-2)
2nd FTP 1998: Vienna, Austria
- Ricardo Caferra, Gernot Salzer
:
Automated Deduction in Classical and Non-Classical Logics, Selected Papers. Lecture Notes in Computer Science 1761, Springer 2000, ISBN 3-540-67190-0 [contents]
1st FTP 1997: Schloss Hagenberg, Austria
Special Issue appered in J. Symb. Comput. 29(2)
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.