Yazar
international conference on automated deduction 15th 1998 lindau
1 cilt bulundu.
Cilt sonuçları
Automated deduction, CADE-15
International Conference on Automated Deduction (15th 1998 Lindau, Bavaria, Germany) · Springer
441 sayfa · 1998
Automatic theorem proving / Congresses / Logic, Symbolic and mathematical / Symbolic and mathematical Logic / Theoremes