Kategória: Jazyk: Všetky jazyky Anglický Slovenský Český Zoradiť podľa: najnovšie autor A – Z autor Z – A názov A – Z názov Z – A zobraziť iba dostupné zobraziť iba použité Autor: Ganzinger reset filtrov +
Autor: Ganzinger Programs as Data Objects Ganzinger 1986 Rewriting Techniques and Applications Ganzinger 1996 Automated Deduction - CADE-16 Ganzinger 1999 Logic Programming and Automated Reasoning Ganzinger 1999 ESOP '88 Ganzinger 1988 5 knižných titulov