Scientific Library of Tomsk State University

   E-catalog        

Your search returned 2 results.

1.
Automated reasoning introduction and applications Larry Wos, Ross Overbeek, Ewing Lusk [a. o.]

by Wos, Larry | Overbeek, Ross | Lusk, Ewing.

Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Englewood Cliffs Prentice-Hall 1984Availability: No items available :
Log in to add tags Add to cart
2.
9th International Conference on Practical Applications of Computational Biology and Bioinformatics electronic resource edited by Ross Overbeek, Miguel P. Rocha, Florentino Fdez-Riverola, Juan F. De Paz.

by Overbeek, Ross [editor.] | Rocha, Miguel P [editor.] | Fdez-Riverola, Florentino [editor.] | De Paz, Juan F [editor.] | SpringerLink (Online service).

Series: Advances in Intelligent Systems and ComputingSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
Log in to add tags Add to cart