Yazar
m schmidt schauss
1 cilt bulundu.
Cilt sonuçları
Computational aspects of an order-sorted logic with term declarations
M. Schmidt-Schauss · Springer-Verlag
171 sayfa · 1989
Sorting (Electronic computers) / Symbolic and mathematical Logic
Yükleniyor