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: Voronkov reset filtrov +
Autor: Voronkov Rewriting Techniques and Applications Voronkov 2008 Logic Programming Voronkov 1992 Logic Programming and Automated Reasoning Voronkov 1992 Automated Deduction - CADE-18 Voronkov 2002 Perspectives of Systems Informatics Voronkov 2007 Logic Programming and Automated Reasoning Voronkov 1993 6 knižných titulov