Search Result Save to File Save as CSV
Your search for 51905 returns 1112 document(s)
A Foundation Ontology for Reactive Rules (933-952)
Author: Jose Julio Alferes Ricardo Amador; | Call Number: SEM-376 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Termilog: a system for checking termination of queries to logic programs, (LNCS-Lecture Notes in Computer Science 1254) Hal 444-447
Author: N. Lindenstrauss; Y. Sagiv; A. Serebrenik; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
TermiLong: a system for checking termination of queries to logic programs, (LNCS-Lecture Notes in Computer Science 1254)Hal. 444-447
Author: N. Lindenstrauss, Y. Sagiv; A. Serebernik; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Testing for termination with monotonicity constraints, (LNCS-Lecture Notes in Computer Science 3668) Hal 326-340
Author: Michael Coodish; Vitaly Lagoon; Peter J. Stuckey; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
A Formalism for reasoning about fair termination, (LNCS-Lecture Notes in Computer Science 131) Hal. 119-138
Author: William P. de Roever; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Managing system and active-content integrity, page 108
Author: John R. M. | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
The Active badge location system, page 91
Author: Roy Want | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Confidence-based active learning, page 1252
Author: M. Li | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Image segmentation using active contour (Snake), HAL. 296-301
Author: Cherry Ballangan; Rudy Adipratama; William Nugroho; | Call Number: SEM-285 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Active Lecturing: An Effective Approach for Large Classes
Author: Dr. Samina Malik; | Call Number: SEM-354 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next