Your search for 51951 returns 350 document(s) |
Logic based modeling and analysis of workflow, Hal. 25-33 |
Author: Hasan Davulcu; Michael Kifer; C.R. Ramakrishnan; L.V. Ramakrishnan; | Call Number: SEM-243 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Combinations of abstract domains for logic programming,Hal 227-239 |
Author: Agostino Cortesi; Baudouin Le Charlier; Pascal Van Hentenryck; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Analyzing logic programs with dynamic scheduling,Hal 240-253 |
Author: Kim Marriott; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Higher-order equational logic programming,Hal 254-267 |
Author: Zhenyu Qian; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Multi-pass execution of functional logic programs,Hal 361-374 |
Author: Jukka Paakki; | Call Number: SEM-198 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Environmental Performance Evaluation Based on Fuzzy Logic |
Author: Hasanali Aghajani; Abbas Namdar Aliabadi; Hossein Nazoktabar; | Call Number: SEM-354 | Type: Indeks Artikel prosiding/Sem
|
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
|
Logic in computer science: modelling and reasoning about systems |
Author: Huth, Michael; | Call Number: 005.015 Hut l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Logic and computer design fundamentals 3rd ed. |
Author: Mano, M. Morris; | Call Number: 621.395 Man l | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An Introduction to probability and inductive logic/ Ian Hacking |
Author: Hacking, Ian; | Call Number: 160 Hac i | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|