Login | Register

Browse by Document type and subtype

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Item Type | No Grouping
Jump to: D | M
Number of items: 2.

D

Duy, Joanna (2008) Re-imagining the possible: a new electronic article delivery service. In: 76th ABQLA Conference: 2008, April 11-12, 2008, Montreal, QC. (Unpublished)

M

Mokhov, Serguei A. and Paquet, Joey (2008) Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle. In: 21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs) 2008, Emerging Trends Proceedings, August 2008, Montreal, QC, Canada.

This list was generated on Wed Jun 26 03:23:47 2019 EDT.
Back to top Back to top