Menu
Home
Help and information
About this website
Privacy Policy
A. Velykis
2 published titles
Inferring the proof process
1 edition
Newcastle University, Computing Science
2012
Details
How to say why (in AI4FM)
(Contributor)
1 edition
Newcastle University, Computing Science
2013
Details