Intelligent Computer Mathematics

Book title Buchtitel

Publisher Verlag

Springer Verlag

DOI

10.1007/978-3-642-31374-5

Series Schriftenreihe

Lecture Notes in Computer Science

Results 1-1 of 1 (Search time: 0.002 seconds).

RIS EndNote Bibtex

		Preview	Author(s)	Title	Type	Issue Date
	1		Hetzl, Stefan	Project Presentation: Algorithmic Structuring and Compression of Proofs (ASCOP)	Konferenzbeitrag Inproceedings	2012