Výsledky hledání pro autora

1

Obálka

Rewriting techniques and applications : 17th International Conference, RTA 2006 : Seattle, WA, USA, August 12-14, 2006 : proceedings /

Vydáno 2006

Další autoři: '; “...Pfenning, Frank...”

Kniha

2

Obálka

Automated deduction - CADE-21 21st International conference on automated deduction, Bremen, Germany, July 17-20, 2007 : proceedings /

Vydáno 2007

Další autoři: '; “...Pfenning, Frank...”

Kniha

3

Obálka

Generative programming and component engineering : second International Conference, GPCE 2003 : Erfurt, Germany, September 22-25, 2003 : proceedings /

Vydáno 2003

Další autoři: '; “...Pfenning, Frank...”

Kniha