Jürgen Giesl

Jürgen Giesl

2 ספרים במאגר

ספרים

Term Rewriting and ApplicationsJürgen Giesl

Term Rewriting and Applications

Jürgen Giesl · 1899

Automated ReasoningJürgen Giesl

Automated Reasoning

Jürgen Giesl · 2010