WestminsterResearch

Let the computer prove it

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 5020328596

Full text not available from this repository.


Item Type:Book
Research Community:University of Westminster > Electronics and Computer Science, School of
ID Code:2128
Deposited On:19 Jun 2006
Last Modified:14 Oct 2009 10:23

Repository Staff Only: item control page