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: Kirchner reset filtrov +
Autor: Kirchner Automated Deduction - CADE-15 Kirchner 1998 Trees in Algebra and Programming - CAAP '96 Kirchner 1996 Algebraic Methodology and Software Technology Kirchner 2002 Frontiers of Combining Systems Kirchner 2000 Algebraic and Logic Programming Kirchner 1992 Algebraic and Logic Programming Kirchner 1990 Organometallic Chemistry and Catalysis Kirchner 2001 Computer Simulation in Materials Science Kirchner 1996 8 knižných titulov