Skip to main content
Kent Academic Repository

Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: C
Number of items: 1.

C

Camilleri, Juanito and Zammit, Vincent (1994) Symbolic Animation as a Proof Tool. In: Melham, Thomas F. and Camilleri, Juanito, eds. Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 113-127. ISBN 978-3-540-58450-6. E-ISBN 978-3-540-48803-3. (doi:10.1007/3-540-58450-1_38) (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:21180)

This list was generated on Wed Mar 27 22:45:01 2024 GMT.