2. 28.6.2012: Matti Järvisalo gives a talk "Inprocessing Rules" at the 6th International Joint Conference on Automated Reasoning (IJCAR 2012)

28.6.2012: Matti Järvisalo gives a talk "Inprocessing Rules" at the 6th International Joint Conference on Automated Reasoning (IJCAR 2012)

Thu, 28.06.2012

For details on IJCAR 2012, see the conference website.

Last updated on 2 Oct 2012 by Matti Järvisalo - Page created on 28 Jun 2012 by Matti Järvisalo