Bolotov, Alexander and Bocharov, Vyacheslav and Gorchakov, Alexander and Makarov, V. and Shangin, Vasilyi (2004) Let the computer prove it. Logis and Computer, 5 . Nauka, Moscow, Russia. ISBN 5020328596Full text not available from this repository.
|Subjects:||University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)|
|Depositing User:||Miss Nina Watts|
|Date Deposited:||19 Jun 2006|
|Last Modified:||14 Oct 2009 09:23|
Actions (login required)
|Edit Item (Repository staff only)|