Interactive Theorem Proving

Sandrine Blazy, Christine Paulin-Mohring, David Pichardie

Informasi Dasar

21 kali
16.21.211
006.3
Buku - Elektronik (E-Book)
Tel-U Gedung Manterawu Lantai 5 : Rak 4
Tel-U Purwokerto : Rak 3

Subjek

ARTIFICIAL INTELLIGENCE
DATA SECURITY, SOFTWARE ENGINEERING

Katalog

Interactive Theorem Proving
978-3-642-39634-2
 
English

Sirkulasi

Rp. 0
Rp. 0
Tidak

Pengarang

Sandrine Blazy, Christine Paulin-Mohring, David Pichardie
Perorangan
 
 

Penerbit

Springer Berlin Heidelberg
 
2013

Koleksi

1 Koleksi
1 Koleksi

Kompetensi

 

Download / Flippingbook

diunduh 81 kali
 

Ulasan

Belum ada ulasan yang diberikan
anda harus sign-in untuk memberikan ulasan ke katalog ini