Yazar
Rolf Socher
5 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
Wissensverarbeitung
Ingo Boersch, Jochen Heinsohn, Rolf Socher · Spektrum Akademischer Verlag
380 sayfa · 2007
Kategori yok