Your search for 36708 returns 301 document(s) |
A Mathematical introduction to logic/ Herbert B. Enderton |
Author: Enderton, Herbert B.; | Call Number: 511.3 End m | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic proof, and sets/ Marvn L. Bittinger |
Author: Bittinger, Marvin L.; | Call Number: 511.3 Bit 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
|
Digital Logic Design, Second Edition |
Author: Tan Tuck Choy,Aaron; | Call Number: 621.39 Aar d | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An introduction to logic programming through prolog/Michael Spivey |
Author: Spivey, J.M.; | Call Number: 005.133 Spi i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Klasifikasi mangga lokal menggunakan fuzzy logic |
Author: Widyanto, M. Rahmat; Kresnha, Priadahana Edi | Call Number: Pub.Staf PN-0020 | Type: Prosiding Nasional
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic computational complexity for boolean information retrieval |
Author: Koubarakis, Manolis; Skiadopoulos, Spiros | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic and computational complexity for boolean information retrieval |
Author: Koubarakis, Manolis; Skiadopoulos, Spiros | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic and its Applications/ Edmund Burke and Eric Foxley |
Author: Burke, Edmund; | Call Number: 511.3 Bur i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
OrCAD/PLD: programmable logic design tools |
Call Number: R.621.381 2 Orc | Type: Buku Referensi
|
Find Similar |
Add To Favorites |
Detail in New Window
|