Communiqués par Neal V Murry

Cover for Neal V Murry · Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux'99, Saratoga Springs, Ny, Usa, June 7-11, 1999, Proceedings - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence (Paperback Book) (1999)
Paperback Book
Automated Reasoning with Analyti...
Neal V Murry