Number of items: 1.
1997
|
Martin, J.C. and King, Andy and Soper, P.
(1997)
Typed norms for typed logic programs.
In: Gallagher, J., ed.
Lecture Notes In Computer Science.
Springer-Verlag Berlin
pp. 224-238.
ISBN 3-540-62718-9.
The full text of this publication is not available from this repository.
|
|
This list was generated on Sat May 25 21:13:45 2013 BST.
