Items where Author is Makarov, V.

Group by: Date | Item Type | Creators | No Grouping

Jump to: Book

Number of items: 1.

Book

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

This list was generated on Wed Jun 19 12:54:10 2013 BST.

WestminsterResearch is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.