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

This list was generated on Mon Feb 26 02:47:12 2024 GMT.