School of Computing

Information systems and the navy board in the 18th century

R.E. Cooley

In M. Roberts, M. Moulton, S. Hand, and C. Adams, editors, Information Systems in the Digital World. Proceedings of the 6th UKAIS Conference University of Portsmouth, England, UK, 18-20 April 2001, pages 182-196. Zeus Press, Manchester, UK., April 2001.

Bibtex Record

@inproceedings{1297,
author = {R.E. Cooley},
title = {Information Systems and the Navy Board in the 18th Century},
month = {April},
year = {2001},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2001/1297},
    publication_type = {inproceedings},
    submission_id = {27345_1001434312},
    ISBN = {0-9540705-0-X},
    booktitle = {Information Systems in the Digital World. Proceedings of the 6th UKAIS Conference University of Portsmouth, England, UK, 18-20 April 2001},
    publisher = {Zeus Press, Manchester, UK.},
    editor = {M. Roberts and M. Moulton and S. Hand and C. Adams},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014