Emeritus ProfessorMarekSergot

Faculty of Engineering, Department of Computing

Emeritus Professor in Computing

Contact

m.sergot Website

Location

Huxley BuildingSouth Kensington Campus

Summary

Publications

Citation

BibTex format

@article{Azevedo:1994,
author = {Azevedo, PJ and Sergot, MJ},
journal = {Computers and Artificial Intelligence},
pages = {257--273},
title = {Proof Procedure Based on Recomputation-Free Lemmatization},
volume = {13},
year = {1994}
}

Download

RIS format (EndNote, RefMan)

TY  - JOUR
AU  - Azevedo,PJ
AU  - Sergot,MJ
EP  - 273
PY  - 1994///
SP  - 257
TI  - Proof Procedure Based on Recomputation-Free Lemmatization
T2  - Computers and Artificial Intelligence
VL  - 13
ER  -

Download