UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Browse by UCL Departments and Centres

[up] Up a level
Group by: Author | Type
Jump to: Proceedings paper
Number of items: 1.

Proceedings paper

Curzon, P.; Blandford, A.E.; (2000) Reasoning about order errors in interaction. In: Aagaard, M. and Harrison, J. and Schubert, T., (eds.) Supplemental proceedings of the 13th international conference on theorem proving in higher order logics (TPHOLs 2000). (pp. pp. 33-48). Oregon Graduate Institute: Portland, US. Green open access
file

This list was generated on Mon Apr 22 02:17:55 2024 BST.