Your search for 9543 returns 592 document(s) |
The logical basis for computer programming vol.2 deductive system |
Author: Manna, Zohar; | Call Number: 519.7 Man l | 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
|
Natural Language Understanding and Logic Programming II/ edited by V. Dahl and P Saint-Dizier |
Call Number: 006.35 Nat | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Microcomputer structures: an introduction to digital electronic, logic design, and computer architecture |
Author: D'Angelo, Henry; | Call Number: 621.391 6 Dan m | 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
|
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 programming/ edited by K.L. Clark and S. A. Tarnlund |
Call Number: 005.1 Log | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Selected problems of minization of variable-valued logic formulas |
Author: Cuneo, Roland Phillipe; | Call Number: 511.3 Cun s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|