Browse by People

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

Book

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 Sep 27 23:26:06 2016 BST.