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

Browse by UCL Departments and Centres

Group by: Author | Type
Jump to: C
Number of items: 1.

C

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 Nov 21 01:03:48 2022 GMT.