Automated Reasoning with Analytic Tableaux and Related Methods
Autor:
Tarmo Uustalu
Dostupnost:
Skladem u dodavatele
Odesíláme za 5-8 dnů
971
Kč
This open access book constitutes the proceedings of the 33rd International Conference on Automated...
