Items where Author / Artist / Editor is "Taytel, Dmitriy"

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 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]

This list was generated on Sat Sep 23 04:04:48 2023 BST.