Yazar
Reinhard Kahle
13 cilt bulundu.
Cilt sonuçları
Intensionality
Reinhard Kahle · CRC Press LLC
265 sayfa · 2005
Symbolic and mathematical Logic / Philosophy / Congresses / Mathematics / Logic, symbolic and mathematical
Proof theory in computer science
Reinhard Kahle, Peter Schroeder-Heister · Springer
243 sayfa · 2001
Congresses / Automatic theorem proving / Proof theory / Computer science / Computer software
Verantwortung
Reinhard Kahle, Niels Weidtmann · Brill Mentis
Sayfa sayısı yok · 2021
Responsibility / Science / Moral and ethical aspects
Intensionality
Reinhard Kähle · Cambridge University Press
Sayfa sayısı yok · 2017
Logic, symbolic and mathematical / Mathematics, philosophy
Proof theory in computer science
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