Top 704 michal va inek PDF Book Page 27

book image

Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002 Hampton, VA, USA, August 20–23, 2002 Proceedings

Ricky Butler (auth.), Victor A. Carreño, César A. Muñoz, Sofiène Tahar (eds.)
·357 Pages
·2002
·2.49 MB

book image

Mo Molybdenum: Hydrous Molybdates of Groups VA to VIB Metals (System Nos. 18 to 52)

Karl-Heinz Tytko, Wolf-Dietrich Fleischmann, Dieter Gras, Eberhard Warkentin (auth.), Hartmut Katscher, Friedrich Schröder (eds.)
·384 Pages
·1985
·7.498 MB