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: Baader reset filtrov +
Autor: Baader Term Rewriting and Applications Baader 2007 Frontiers of Combining Systems Baader 1996 KI 2001: Advances in Artificial Intelligence Baader 2001 Automated Deduction - CADE-19 Baader 2003 Logic for Programming, Artificial Intelligence, and Reasoning Baader 2005 5 knižných titulov