Proof technology and computation electronic resource / edited by Helmut Schwichtenberg and Katharina Spies

Författare: Germany) (2003 NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf
Språk: Okänt

Förlag	År	Ort	Om boken	ISBN
	uuuu-uuuu	Utgivningsland okänt / Ej specificerat