Your search for 36329 returns 476 document(s) |
Formalization of TLA + in HOL Theorem Prover (419-422) |
Author: Iis Solichah
Ade Azurat; | Call Number: SEM-297 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic programming and knowledge engineering |
Author: Amble, Tore; | Call Number: 005.1 Amb l | 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
|
Introduction to switching theory and logical design 3rd ed. |
Author: Hill, Fredrick J.; | Call Number: 621.395 Hil I | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Introduction to logic programming |
Author: Hogger, Christopher John; | Call Number: 004.61 Hog i | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Natural language undertanding |
Author: Allen, James; | Call Number: 005.13 All n | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Parallel logic programming in PARLOG |
Author: Gregory, Steve; | Call Number: 005.133 Gre p | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic for problem solving |
Author: Kowalski, Robert; | Call Number: 519.7 Kow i | Type: Buku Pusat
|
Find Similar |
Add To Favorites |
Detail in New Window
|
High speed optimised reconfigutable architecture of fuzzy logic controller, HAL. 558-561 |
Author: M.A. Saeed; M. Hasan; Nesar Ahmad; | Call Number: SEM-289 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Colored line tracking mobile robot using fuzzy logic control, Hal. 28-38 |
Author: Thiang, Felix Pasila, Agus Widian; | Call Number: SEM-273 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|