| Your search for 14385 returns 755 document(s) |
| Readings in knowledge representation |
|
Call Number: 006.3 Rea | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Knowledge Mapping Pada Konteks R&D |
|
Author: Shidiq Al-Hakim; | Call Number: TR-CSUI/ 006-2018 | Type: Technical Report
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Ontology And Knowledge Management |
|
Author: Rizal Broer; | Call Number: TR-CSUI/009-2009 | Type: Technical Report
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Permissible delay in payments in the two-echelon inventory system with controllable setup cost and lead time under service level constraint, 193-211 |
|
Author: R. Uthayakumar, S. Priyan | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On-line, reflexive constraint satisfaction for hybrid systems: first steps ( Invited presentation ), (LNCS-Lecture Notes in Computer Science 1201) Hal 93-107 |
|
Author: Michael S. Branicky; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Combining constraint solving and symbolic model checking for a class of systems with non-linear constraints, (LNCS-Lecture Notes in Computer Science 1254) Hal 316-327 |
|
Author: William Chan; Richard Anderson; Paul Beame; David Notkin; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Combining constraint solving and symbolic model checking for a class of sysems with non-linear constraints, (LNCS-Lecture Notes in Computer Science 1254)Hal. 316-327 |
|
Author: William Chan; Richard Anderson; Paul Beanne; David Notkin; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Principles and practice of constraint programming-CP 2005: 11th international conference, CP 2005, sitges, spain, October 2005 proceeding/ Peter Van Beek |
|
Author: Beek, Peter Van; | Call Number: 005.133 Bee P | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Perancangan penganalisis struktural kalimat bahasa Indonesia, khususnya frasa nominal, dengan menggunakan constraint-based formalism, dan penerapannya pada media Massa elektronika/ I Made Dwijendra Sulastra |
|
Author: I Made Dwijendra Sulastra; | Call Number: SK-0501(Softkopi SK-11) | Edition: Bobby Nazief | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Perancangan pengalisis struktur kalimat bahasa Indonesia dengan menggunakan constraint-based formalism berdasarkan features structures dan unification dan penerapannya pada makalah ilmiah/ A. Jibra Shidqie |
|
Author: A. Jibran Shidqie; | Call Number: SK-0458 | Edition: Bobby Nazief | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result