Interactive Theorem Proving

Koleksi

Interactive Theorem Proving
16.21.211 - Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
16.21.211-1
Tersedia
22 March 2016

Informasi Koleksi

Beli
 
 
Buku - Elektronik (E-Book)
Tel-U Gedung Manterawu Lantai 5