Stefano Berardi – författare
Visar alla böcker från författaren Stefano Berardi. Handla med fri frakt och snabb leverans.
5 produkter
Types for Proofs and Programs
International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
Av Stefano Berardi, Mario Coppo m. fl.
Häftad, 2004
567 kr
Lägg i varukorg
These proceedings contain a selection of refereed papers presented at or related to the 3rd Annual Workshop of the Types Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held d- ing April 30 to May 4, 2003, in Villa Gualino, Turin, Italy. The …
Types for Proofs and Programs
International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
Av Ferruccio Damiani, Mario Coppo m. fl.
E-bok, 2004
755 kr
Lägg i varukorg
These proceedings contain a selection of refereed papers presented at or related to the 3rd Annual Workshop of the Types Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held d- ing April 30 to May 4, 2003, in Villa Gualino, Turin, Italy. The …
Types for Proofs and Programs
International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers
Av Stefano Berardi, Mario Coppo
Häftad, 1996
567 kr
Lägg i varukorg
This volume contains a refereed selection of revised full papers chosen from the contributions presented during the Third Annual Workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs. The workshop took place in Torino, Italy, in June 1995.Type …
Types for Proofs and Programs
International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
Av Stefano Berardi, Ferruccio Damiani m. fl.
Häftad, 2009
567 kr
Lägg i varukorg
These proceedings contain a selection of refereed papers presented at or - lated to the Annual Workshop of the TYPES project (EU coordination action 510996), which was held during March 26–29, 2008 in Turin, Italy. The topic of this workshop, and of all previous workshops of the same project, was …
Types for Proofs and Programs
International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
Av Ugo de Liguoro, Ferruccio Damiani m. fl.
E-bok, 2009
755 kr
Lägg i varukorg
These proceedings contain a selection of refereed papers presented at or - lated to the Annual Workshop of the TYPES project (EU coordination action 510996), which was held during March 26–29, 2008 in Turin, Italy. The topic of this workshop, and of all previous workshops of the same project, was …
