Yazar
renate a schmidt
4 cilt bulundu.
Cilt sonuçları
Relations and Kleene Algebra in Computer Science
Renate A. Schmidt · Springer
433 sayfa · 2006
Mathematics / Congresses / Algebraic logic / Computer science
Automated Deduction – CADE-22
Renate A. Schmidt · Springer Berlin Heidelberg
Sayfa sayısı yok · 2009
Computer science / Congresses / Automatisches Beweisverfahren / Symbolic and mathematical Logic / Kongress
Automated Reasoning with Analytic Tableaux and Related Methods
Renate A. Schmidt, Cláudia Nalon · Springer
393 sayfa · 2017
Automatic theorem proving / Artificial intelligence / Logic