Automated Reasoning with Analytic Tableaux and Related Methods (eBook, PDF)
International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings
Redaktion: Swart, Harrie De
PAYBACK Punkte
33 °P sammeln!
Andere Kunden interessierten sich für
