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)

download PDF

@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.23