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

Browse by UCL Departments and Centres

Group by: Author | Type
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 Jan 30 01:28:50 2023 GMT.