Resource Adaptive Agents in Interactive Theorem Proving (bibtex)
by Christoph Benzmüller, Volker Sorge
Reference:
Resource Adaptive Agents in Interactive Theorem Proving (Christoph Benzmüller, Volker Sorge), SEKI Publications (ISSN 1437-4447), number SR-99-02, pp. 1-13, 1999.
Bibtex Entry:
@techreport{R9,
  Author =	 {Christoph Benzm{\"u}ller and Volker Sorge},
  Institution =	 {Saarland University, SEKI Publications (ISSN
                  1437-4447)},
  Number =	 {SR-99-02},
  Pages =	 {1-13},
  Publisher =	 {{SEKI Publications (ISSN 1437-4447)}},
  Title =	 {Resource Adaptive Agents in Interactive Theorem
                  Proving},
  Type =	 {SEKI Report},
  Url =		 {http://arxiv.org/abs/0901.3585},
  Year =	 1999,
}
Powered by bibtexbrowser