Thoughts Towards a Practical Theory of Reformulation for Reasoning about Physical Systems + Author
Thoughts Towards a Practical Theory of Reformulation for Reasoning about Physical Systems + Has author
| Berthe Y. Choueiry and Sheila A. McIlraith and Yumi Iwasaki and Tony Loeser and Todd W. Neller and Robert S. Engelmore and Richard Fikes | |