Browse by People

Up a level
Export as [feed] Atom [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 Tue Aug 23 23:25:11 2016 BST.