Automated Reasoning with Analytic Tableaux and Related Methods
£33.24
Includes FREE deliveryRRP £34.99 – you save £1.75 (5%)
Order before 4pm tomorrow for delivery by Tue 23 Jun 2026.
A Paperback by Gian Luca Pozzato
View other formats and editions of Automated Reasoning with Analytic Tableaux and Related Methods by Gian Luca Pozzato
Publisher: Springer
Publication Date: 24/10/2025
ISBN13: 9783032060846, 978-3032060846
ISBN10:
Also in:
Artificial intelligence (AI)
Artificial intelligence (AI)