Items where Author / Artist / Editor is "Wand, Daniel"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
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

This list was generated on Mon Jun 1 05:37:57 2020 BST.