Automatisiertes Denken mit analytischen Tableaus und verwandten Methoden: Internationa...
78,78 €
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. rst-order logic in various formats.
Jetzt bei Ebay:
