The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic Thomas Raths? Jens Otten

First Page		Document Content
Date: 2008-03-22 23:32:33		The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic Thomas Raths? Jens Otten Add to Reading List Source URL: www.cs.uni-potsdam.de Download Document from Source Website File Size: 123,79 KB Share Document on Facebook