skip to main content
Lingue:

Tests and proofs : second international conference, TAP 2008 Prato, Italy, April 9-11, 2008 proceedings

International conference, TAP 2008 <2.; 2008; Prato> ; BECKERT, Bernhard ; HAHNLE, Reiner

Berlin etc. : Springer, copyr. 2008

Disponibile in Biblioteca Polo Scientifico e Tecnologico  Area Scientifica  39USA_INST:2154678300003316()

Ricerca in corso nelle risorse remote ...