Date Range
Date Range
Date Range
Become a member and get discounts on conferences and more, see the NLUUG website.
A Danish regional mirror for FreeBSD ftp. It is generously hosted by TDC.
Department of Computer Science and Engineering. The open source projects mirroring project. If you have any questions or suggestions, please contact administrator via.
International Workshop on First-Order Theorem Proving. Bern, Switzerland, July 4, 2011. FTP 2011 is the eighth in a series of workshops intended to focus effort on First-Order Theorem Proving as a core theme of Automated Deduction, and to provide a forum for presentation of recent work and discussion of research in progress. The workshop welcomes original contributions on theorem proving in first-order classical, many-valued, modal and description logics, including nonexclusively.