3 results
12 - Analysing the workplace and user requirements: challenges for the development of methods for requirements engineering
-
-
- Book:
- Workplace Studies
- Published online:
- 05 May 2010
- Print publication:
- 15 August 2000, pp 242-251
-
- Chapter
- Export citation
Domenico Cantone, Alfredo Ferro, and Eugenio Omodeo. Computable set theory. Volume 1. International series of monographs on computer science, no. 6. Clarendon Press, Oxford University Press, Oxford and New York1989, xii + 347 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 361-362
- Print publication:
- March 1993
-
- Article
- Export citation
Proof-search in the λΠ-calculus
- from Proofs and Computation
-
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 309-340
-
- Chapter
- Export citation