Yazar
rolf socher ambrosius
3 cilt bulundu.
Cilt sonuçları
Deduction Systems
Rolf Socher-Ambrosius · Springer New York
215 sayfa · 1997
Information theory / Computer science / Automatic theorem proving
Deduction systems
Rolf Socher-Ambrosius · Springer
206 sayfa · 1997
Automatic theorem proving / Politics and government / Politique et gouvernement