Search Result
Save to File
Your search for
26198
returns
1087
document(s)
Godel's theorem: an incomplete guide to its use and abuse/ Torkel Franzen
Author: Franzen, Torkel; | Call Number: 511.3 Fra g | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
An Introduction to godel's theorems/ Peter Smith
Author: Smith, Peter; | Call Number: 511.3 Smi i | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Algorithmic information theory/ G.J. Chaitin
Author: G.J. Chaitin; | Call Number: 511.5 Cha a | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Eksplorasi formalisasi TLA+dalam theorem prover Hol
Author: Iis Solichah; | Call Number: SK-0875 (Softcopy SK-357) SCSK-Analisa | Type: Skripsi
Find Similar
|
Add To Favorites
|
Detail in New Window
Deduction systems/Rolf Socher-Ambrosius
Author: Socher-Ambrosius, Rolf; | Call Number: 511.3 Soc d | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Penerapan logika UNITY dalam sertifikasi perangkat lunak berbasis komponen dengan studi kasus aplikasi E-Voting/ Prastudy Mungkas Fauzi
Author: Prastudy Mungkas Fauzi; | Call Number: SK-0690 (Softcopy SK-0171) Source code SK-0160 | Type: Skripsi
Find Similar
|
Add To Favorites
|
Detail in New Window
Perbandingan metode evaluasi kurvatur dalam menentukan bentuk permukaan bidang pada model faset 3D/ Priadhana Edi Kresnha
Author: Priandhana Edi Kresnha; | Call Number: SK-0683 (Softcopy SK-0164) Source Code SK-0155 | Edition: Suryana Setiawan | Type: Skripsi
Find Similar
|
Add To Favorites
|
Detail in New Window
Exploiring hidden semantic clues for heuristic guidance of non-clausal theorem proving, Hal. 7-11
Author: I.S. Torsun; L.M. Newnham; | Call Number: SEM-275 | Type: Indeks Artikel prosiding/Sem
Find Similar
|
Add To Favorites
|
Detail in New Window
Logic for computer science : foundations of automatic theorem proving/ Jean H. Gallier
Author: Gallier, Jean H.; | Call Number: 511.3 Gal l | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
First-order logic and automated proving
Author: Fitting, Melvin; | Call Number: 511.3 Fit f | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev 1
2
3
4
5
6
7
8
9
10
Next