Items where Author / Artist / Editor is "Taytel, Dmitriy"
 | 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 and Taytel, Dmitriy (2014) Cardinals in Isabelle/HOL. Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. In: 5th International Conference on Interactive Theorem Proving, 14-17 Jul 2014, Vienna, Austria. ISBN 9783319089690. ISSN 0302-9743 [Conference or Workshop Item]
