Yazar
Reinhard Kahle
13 cilt bulundu.
Reinhard Kahle · A K Peters
265 sayfa · 2005
Symbolic and mathematical Logic / Philosophy / Congresses / Mathematics / Logic, symbolic and mathematical
Reinhard Kahle, Peter Schroeder-Heister · Springer London, Limited
243 sayfa · 2001
Congresses / Automatic theorem proving / Proof theory / Computer science / Computer software
Reinhard Kahle, Niels Weidtmann · Brill Mentis
Sayfa sayısı yok · 2021
Responsibility / Science / Moral and ethical aspects
Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga · Springer International Publishing AG
197 sayfa · 2021
Kategori yok
Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga · Springer International Publishing AG
322 sayfa · 2021
Kategori yok
Reinhard Kähle · Cambridge University Press
Sayfa sayısı yok · 2017
Logic, symbolic and mathematical / Mathematics, philosophy
Reinhard Kahle, Michael Rathjen · Springer International Publishing AG
Sayfa sayısı yok · 2015
Proof theory
Reinhard Kahle, Peter Joseph Schroeder-Heister, Robert F. Stärk, PTCS 2001 (2001 Dahgstuhl Castle) · Springer
Sayfa sayısı yok · 2001
Automatic theorem proving / Congresses