The THFTPTP Project --- An Infrastructure for Typed Higher-order Form Automated Theorem Proving Marie Curie International Incoming Fellowship Grant Agreement PIIF-GA-2008-219982 Project Report --- Scientific (bibtex)
by Christoph Benzmüller, Geoff Sutcliffe
Reference:
The THFTPTP Project --- An Infrastructure for Typed Higher-order Form Automated Theorem Proving Marie Curie International Incoming Fellowship Grant Agreement PIIF-GA-2008-219982 Project Report --- Scientific (Christoph Benzmüller, Geoff Sutcliffe), Saarland University, 2009.
Bibtex Entry:
@techreport{R50,
  Author =	 {Benzm{\"u}ller, Christoph and Sutcliffe, Geoff},
  Institution =	 {Saarland University},
  Publisher =	 {Saarland University},
  Title =	 {The {THFTPTP} Project --- An Infrastructure for
                  Typed Higher-order Form Automated Theorem Proving
                  Marie Curie International Incoming Fellowship Grant
                  Agreement PIIF-GA-2008-219982 Project Report ---
                  Scientific},
  Url =		 {http://christoph-benzmueller.de/papers/R50.pdf},
  Year =	 2009,
}
Powered by bibtexbrowser