Luis Fariñas del Cerro, Professor, IRIT, Toulouse, France.
Katsumi Inoue, Professor, NII, Tokyo, Japan.
Intensional Logics for Programming
2 contributors - Hardback
£24.99
Conditionals: From Philosophy to Computer Science
3 authors - Hardback
£63.00
Logical Modeling of Biological Systems
£165.95