Automatisiertes Denken mit analytischen Tableaus und verwandten Methoden: Tableaux 200...
54,06 €
The Program Committee of TABLEAUX 2005 received 46 submissions from 16 countries. In addition to the contributed papers, the program included four excellent (FreeUniversityofBolzano, Italy), Prof. Ian Horrocks (University of Manchester, UK), Prof. Hans Jur ¨ gen Ohlbach (Ludwig Maximilian University, Munich, Germany), and Prof. Erik Rosenthal (University of New Haven, USA) for accepting the invitation to - dress the conference.
Jetzt bei Ebay:
