Bu türde 2 kitap
Proceedings
International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany)
Automated Reasoning with Analytic Tableaux and Related Methods
Uwe Egly
