Login | Register

Browse by Document type and subtype

Group by: Authors | Item Type | No Grouping
Jump to: D | M
Number of items: 2.


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)


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 Oct 4 03:26:50 2023 EDT.
Back to top Back to top