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: Bibel reset filtrov +
Autor: Bibel Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications Bibel 1998 Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications Bibel 1998 Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications Bibel 1998 Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications Bibel 1998 Mathematical Methods of Specification and Synthesis of Software Systems '85 Bibel 1986 Fundamentals of Artificial Intelligence Bibel 1986 5th Conference on Automated Deduction Bibel 1980 7 knižných titulov