Search Result

Found 59156 Document(s) match with the query 20327065
Integrasi model cheking dengan interactive theorem proving pembuatan skrip pembuktian secara otomatis
Author : Eva Magdalena M., author
Call Number : S26968
Collection Type : UI - Skripsi Membership
Location : Universitas Indonesia Library
Lingkungan verifikasi formal untuk program sekuensial dalam interactive theorem prover hol
Author : Octovianus Andriato, author
Call Number : S26954
Collection Type : UI - Skripsi Membership
Location : Universitas Indonesia Library
Interactive theorem proving : third international conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012 : proceedings
Author : No author
Call Number : e20410089
Collection Type : eBooks
Location : Universitas Indonesia Library
Heuristic search sebagai alternatif pelacakan dan implementasinya dalam prolog untuk aplikasi theorem proving
Author : Sjarif Abdat, author
Call Number : S27224
Collection Type : UI - Skripsi Membership
Location : Universitas Indonesia Library
The computer modelling of mathematical reasoning
Author : Bundy, Alan, author
Call Number : 511.3 BUN c
Collection Type : Buku Teks SO
Location : Universitas Indonesia Library
Symbolic logic and mechanical theorem proving
Author : Chang, Chin-Liang, author
Call Number : 511.3 CHA s
Collection Type : Buku Teks SO
Location : Universitas Indonesia Library
<<   1 2 3 4 5   >>