Yazar
international conference on automated deduction 7th 1984 napa
1 cilt bulundu.
Cilt sonuçları
7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984
International Conference on Automated Deduction (7th 1984 Napa, Calif.) · Springer-Verlag
508 sayfa · 1984
Automatic theorem proving / Congresses / Symbolic and mathematical Logic / Logic machines