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
