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. In: Interactive Theorem Proving (ITP), Third International Conference, 13-15 Aug 2012, Princeton, New Jersey, US.

This list was generated on Wed Jul 17 04:56:29 2019 BST.