Yazar
tableaux 98 1998 oisterwijk
1 cilt bulundu.
Cilt sonuçları
Automated reasoning with analytic tableaux and related methods
TABLEAUX'98 (1998 Oisterwijk, Netherlands) · Springer
324 sayfa · 1998
Congresses / Artificial intelligence / Automatic theorem proving / Computer science