Luis Fariñas del Cerro, Professor, IRIT, Toulouse, France.
Katsumi Inoue, Professor, NII, Tokyo, Japan.
Intensional Logics for Programming
2 contributors - Hardback
£26.49
Logical Modeling of Biological Systems
£165.95
Subscribe to our newsletter, and stay in the loop: