| Your search for 3176 returns 406 document(s) |
| Logic programming prolog and its applications/ Bob Kowalski |
|
Author: Kowaslki, Bob; | Call Number: R. 006.3 Kow l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic programming: 21st international conference, ICLP 2005 sitges, spain, October 2-5 2005 proceedings |
|
Author: Gabbrielli, Maurizio; | Call Number: 005.133 Gab l | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Symbolic logic and mechanical theorem proving/ Chin-Liang Chang |
|
Author: Chang, Chin-Liang; | Call Number: 511.3 Cha s | 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
|
| Pengenalan bentuk dengan metode N-tuple dan fuzzy logic. (hal. G-42/G-45 ) |
|
Author: Samuel Lukas,Arnold Aribowo,Yunita Thedykurnia; | Call Number: SEM-366 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Fundamentals of digital logic with VHDL design 3rd ed. |
|
Author: Brown, Stephen; | Call Number: 621.395 Bro f; | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| The temporal logic of reactive and concurrent systems specification |
|
Author: Manna, Zohar; | Call Number: 005.1 Man t | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Why prolog?: justifying logic programming for practical applications |
|
Author: Lazarev, Gregory L.; | Call Number: 006.3 Laz w | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logic minimization algorithms for VLSI synthesis |
|
Call Number: 621.381 Log | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Ekplorasi representasi dan verifikasi perangkat lunak berbasiskan komponen dalam F-logic, Hal. 546-550 |
|
Author: Rakhmad Azhari; | Call Number: SEM-276 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result