Yazar
Uwe Egly
4 cilt bulundu.
Cilt sonuçları
Automated Reasoning with Analytic Tableaux and Related Methods
Uwe Egly · Springer-Verlag Berlin Heidelberg
Sayfa sayısı yok · 2002
Artificial intelligence / Automatisches Beweisverfahren / Computer science / Software engineering
Automated reasoning with analytic tableaux and related methods
Uwe Egly · Springer
341 sayfa · 2002
Congresses / Automatic theorem proving / Computer science / Software engineering / Artificial intelligence
Theory and Applications of Satisfiability Testing - SAT 2014
Carsten Sinz, Uwe Egly · Springer London, Limited
474 sayfa · 2014
Computer science / Artificial intelligence / Computer algorithms / Artificial Intelligence (incl. Robotics) / Information theory