TAP 2008 ((2008 :)
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Tests and proofs = second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings /
by:
Beckert, Bernhard.; Hahnle, Reiner.; SpringerLink (Online service); TAP 2008 ((2008 :)
(Language materials, printed)