Skip to main content
Kent Academic Repository

Browse by Publisher

Group by: Item Type | Date | No Grouping
Number of items: 6.

2003

Gomez, Rodolfo and Bowman, Howard (2003) A MONA-based Decision Procedure for Propositional Interval Temporal Logic. Other. Kent University, Vienna, Austria (Unpublished) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13933)
Petre, Marian and Fincher, Sally and Tenenberg, Josh (2003) 'My Criterion is: Is it a Boolean?': A card-sort elicitation of students' knowledge of programming constructs. Technical report. Kent University, University of Kent, Canterbury, Kent, UK (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:13970)
Jones, Richard E. (2003) DO garbage collection. Technical report. Kent University, Kent, UK 2-03. (doi:2-03) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:14006)

2000

Timmis, Jon (2000) On Parameter Adjustment of the Immune Inspired Machine Learning Algorithm AINE. Technical report. Kent University, Canterbury, Kent. CT2 7NF. (KAR id:21937)
Format: PDF
Daniels, Anthony C. (2000) Recursive Functions and Reactive Behaviours: The Essence of Fran. Other. Kent University (Unpublished) (KAR id:21956)
Format: PDF Format: Postscript

1998

Poll, Erik and Thompson, Simon (1998) Adding the axioms to Axiom: Towards a system of automated reasoning in Aldor. Technical report. Kent University (KAR id:21662)
Format: Postscript Format: PDF
This list was generated on Tue Jun 25 01:19:19 2024 BST.