Bibliography listing for J. C. Campos

J. C. Campos
Automated Deduction and Usability Reasoning
DPhil thesis, Department of Computer Science, University of York. 1999. (Also available as Technical Report YCST 2000/9, Department of Computer Science, University of York)

@PHDTHESIS{Campos99,
 author = {J. C. Campos},
 title = {Automated Deduction and Usability Reasoning},
 school = {Department of Computer Science, University of York},
 year = {1999},
 type = {DPhil thesis},
 note = {Also available as Technical Report YCST 2000/9, Department of Computer Science, University of York},
 paperurl = {http://www.cs.york.ac.uk/ftpdir/reports/2000/YCST/09/YCST-2000-09.pdf}
}

Generated by mkBiblio 2.6.28