Yazar
tableaux 97 1997 pont a mousson
1 cilt bulundu.
Cilt sonuçları
Automated reasoning with analytic tableaux and related methods
TABLEAUX '97 (1997 Pont-à-Mousson, France) · Springer
372 sayfa · 1997
Congresses / Parallel processing (Electronic computers) / Automatic theorem proving / Artificial intelligence