Yazar
jorg h siekmann
10 cilt bulundu.
Cilt sonuçları
8th International Conference on Automated Deduction
Jörg H. Siekmann · Springer
724 sayfa · 1986
Automatic theorem proving / Logic, symbolic and mathematical
Mechanizing mathematical reasoning
Jörg H. Siekmann, Dieter Hutter, Werner Stephan · Springer London, Limited
565 sayfa · 2005
Automatic theorem proving / Technique / Symbolic and mathematical Logic / Reasoning / Automation
Mechanizing mathematical reasoning
Jörg H. Siekmann, Dieter Hutter, Werner Stephan · Springer
563 sayfa · 2005
Automatic theorem proving / Technique / Symbolic and mathematical Logic / Reasoning / Automation
8th International Conference on Automated Deduction
Jorg H. Siekmann · Springer
708 sayfa · 1986
Congresses / Symbolic and mathematical Logic / Automatic theorem proving
Computational Logic
Dov M. Gabbay, Jörg H. Siekmann, John Woods · Elsevier Science & Technology Books
Sayfa sayısı yok · 2014
Logic