Browse by People

Up a level
Export as [feed] RSS [feed] RSSPD
Group by: Item Type | No Grouping
Number of items: 1.

Bolotov, Alexander, Bocharov, Vyacheslav, Gorchakov, Alexander, 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 Sat May 28 23:23:32 2016 BST.