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
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
URI: http://westminsterresearch.wmin.ac.uk/id/eprint/2128

Actions (login required)

Edit Item (Repository staff only) Edit Item (Repository staff only)