Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: H

Number of items: 1.

H

Hill, Steve, Thompson, Simon (1995) Miranda in Isabelle. In: Paulson, Lawrence C., ed. Preceedings of the first Isabelle Users Workshop. University Of Cambridge Computer Laboratory Technical Reports Series (397). pp. 122-135. (KAR id:21247)

This list was generated on Sat Jan 11 23:39:19 2025 GMT.