Publikationen von Andreas Nonnengart

2012

• Christopher Krauß; Andreas Nonnengart
  Formal Analysis Meets 3D-Visualization.
  In: Georg Rock; Josip Stjepandic; Cees Bil (Hrsg.). Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary Environment. ISPE International Conference on Concurrent Engineering (CE-2012), September 3-7, Trier, Germany, Pages 145-156, Vol. 1, ISBN 978-1-4471-4425-0, Springer, 9/2012.

1998

• Andreas Nonnengart; Georg Rock; Christoph Weidenbach
  On Generating Small Clause Normal Forms.
  In: Proceedings of the 15th International Conference on Automated Deduction, CADE98. Pages 397-411, LNCS, Vol. 1421, Springer, 1998.