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: Dershowitz reset filtrov +
Autor: Dershowitz Logic for Programming, Artificial Intelligence, and Reasoning Dershowitz 2007 Verification: Theory and Practice Dershowitz 2004 Rewriting Techniques and Applications Dershowitz 1989 Conditional and Typed Rewriting Systems Dershowitz 1995 4 knižných titulov