Special Issue on Assistance Systems for Mathematics (bibtex)
by Unknown
Reference:
Special Issue on Assistance Systems for Mathematics, (Christoph Benzmüller, ed.), Journal of Applied Logic, Elsevier, 2006.
Bibtex Entry:
@proceedings{E7,
  editor =	 {Christoph Benzm{\"u}ller},
  Keywords =	 {own, CALCULEMUS, Symb. Computation and
                  Symb. Reasoning, Proof Assistants, History of Logic},
  Publisher =	 {Journal of Applied Logic, Elsevier},
  Title =	 {Special Issue on Assistance Systems for Mathematics},
  Url =
                  {http://www.sciencedirect.com/science/journal/15708683/4/4},
  Year =	 2006,
}
Powered by bibtexbrowser