Výsledky hledání pro autora

1

Obálka

Theorem proving in higher order logics : 21th International Conference, TPHOLs 2008 : Montreal, Canada, August 18-21, 2008 : proceedings /

Vydáno 2008

Další autoři: '; “...Tahar, Sofiène...”

Kniha

2

Obálka

Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings /

Vydáno 2002

Další autoři: '; “...Tahar, Sofiène...”

Kniha