| Your search for 36716 returns 2493 document(s) |
| On the relation between answer set and sat procedures (or, between cmodels and smodels),(LNCS-Lecture Notes in Computer Science 3668) Hal 37-51 |
|
Author: Enrico Giunchiglia; Marco Maratea; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An ontology-based binary-categorization binary-categorization approach for recognizing multiple-record web documents using a probalistic retrieval model/ Quan Yuan |
|
Author: Wang, Quan; Yiu-Kai NG | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Texture-based approach for text detection in images using support vector machines and continuously adaptive mean shift algorithm, page 1631 |
|
Author: KI KIM | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Framework of regression-based graph matrix analysis approach in multi-relational social network problem/ Belawati Widjaya; Ford Lumban Gaol |
|
Author: Belawati Widjaya, Ford Lumban Gaol | Call Number: Pub.Staf.JI-0009 | Type: Jurnal Internasional
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| on Updates of logic programs: a properties-based approach, The relative complexity of updates for a class of database views, LNCS-Lecture Notes in Computer Science 2942) Hal.231-251 |
|
Author: Mauricio Osorio and Fernando Zacarias; | Call Number: 006.33 Sei f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Applied numerical linear algebra |
|
Author: Demmel, James W.; | Call Number: 512.5 Dem a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Linear hybrid systems, Hal. 47-65 |
|
Author: Frits Vaandrager; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Numerical LInear Algebra With Applications |
|
Call Number: [3 (1996): 1-4, 3 (1996): 5-6; 4 (1996): 1-3, 4 (1997): 3-6, 7 (2000): 1-3, 7 (2000): 3-5, 7 (2000): 6-8] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Linear logic in computer science |
|
Call Number: 519.72 Lin | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Differential euqations & linear algebra |
|
Author: Edwards, C. Henry; | Call Number: 512.5 Edw d | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result