Automated Reasoning with Analytic Tableaux and Related Methods: International Co
69,15 €
In 2001 TABLEAUX was part of IJCAR 2001 in - ena. This was in par- cular witnessed by the talk by Matthias Baaz, jointly invited by CADE-18 and TABLEAUX 2002. Invited Papers. - Proof Analysis by Resolution.
Jetzt bei Ebay:
