Harald Ganzinger

Harald Ganzinger

3 ספרים במאגר

ספרים

Logic for programming and automated reasoningHarald Ganzinger

Logic for programming and automated reasoning

Harald Ganzinger · 1999

ESOP '88Harald Ganzinger

Harald Ganzinger · 2007

Automated Deduction - CADE-16Harald Ganzinger

Automated Deduction - CADE-16

Harald Ganzinger · 1999

ספרים משותפים ואוספים

ספרים שבהם Harald Ganzinger מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

InformatikJohannes Buchmann

Johannes Buchmann · 1992