Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 ... Notes in Computer Science (1227), Band 1227)

Conference

von Didier Galmiche

Taschenbuch

ISBN: 978-3-540-62920-7

ISBN-10: 3-540-62920-3

Springer · 2008