Revantha Ramanayake - Böcker

Visar alla böcker från författaren Revantha Ramanayake.

1 produkt

Kategorier

1 produkt

Automated Reasoning with Analytic Tableaux and Related Methods

32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings

Av Revantha Ramanayake, Josef Urban

Häftad, Engelska, 2023

569 kr

Skickas inom 10-15 vardagar