Items where Author / Artist / Editor is "Weidenbach, Cristoph"
 | See full list of headings |
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item
Number of items: 1.
Conference or Workshop Item
Blanchette, Jasmin Christian, Popescu, Andrei, Wand, Daniel and Weidenbach, Cristoph (2012) More SPASS with Isabelle: superposition with hard sorts and configurable simplification. Interactive Theorem Proving: third international conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings. In: Interactive Theorem Proving (ITP), Third International Conference, 13-15 Aug 2012, Princeton, New Jersey, US. ISBN 9783642323461. ISSN 0302-9743 [Conference or Workshop Item]
