Yazar
b schinzel
2 cilt bulundu.
Cilt sonuçları
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 2
M. M. Richter, E. Börger, W. Oberschelp, B. Schinzel, Thomas, W. · Springer London, Limited
492 sayfa · 1984
Computable functions / Proof theory / Mathematics / Symbolic and mathematical Logic / Mathematical Logic and Foundations
Informatik cui bono?
GI-FB 8 Fachtagung (1992 Freiburg im Breisgau, Germany), W. Langenheder, G. Muller, B. Schinzel · Springer Verlag
289 sayfa · 1992
Congresses / Information technology / Social aspects of Information technology