Výsledky hledání pro autora

1

Obálka

Mathematics of program construction : 9th International Conference, MPC 2008: Marseille, France, July 15-18, 2008 : proceedings /

Vydáno 2008

Další autoři: '; “...Paulin-Mohring, Christine, 1962-...”

Kniha

2

Obálka

Types for Proofs and Programs : International Workshop Types'96, Aussois, France, December 15-19, 1996 : selected papers /

Vydáno 1998

Další autoři: '; “...Paulin-Mohring, Christine, 1962-...”

Kniha

3

Obálka

Types for proofs and programs : International Workshop TYPES 2004 : Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers /

Vydáno 2004

Další autoři: '; “...Paulin-Mohring, Christine, 1962-...”

Kniha