ProfessorJeremyPitt

Faculty of Engineering, Department of Electrical and Electronic Engineering

Professor of Intelligent and Self-Organising Systems

Contact

+44 (0)20 7594 6318j.pitt Website

Assistant

Ms Joan O'Brien +44 (0)20 7594 6316

Location

1010Electrical EngineeringSouth Kensington Campus

Summary

Publications

Citation

BibTex format

@article{Pitt:1996,
author = {Pitt, JV and Cunningham, RJ},
journal = {Journal of the ICPL},
pages = {129--150},
title = {Theorem Proving and Model Building with the Calculus KE},
volume = {4},
year = {1996}
}

Download

RIS format (EndNote, RefMan)

TY  - JOUR
AU  - Pitt,JV
AU  - Cunningham,RJ
EP  - 150
PY  - 1996///
SP  - 129
TI  - Theorem Proving and Model Building with the Calculus KE
T2  - Journal of the ICPL
VL  - 4
ER  -

Download