Search Result Save to File Save as CSV
Your search for 38320 returns 4474 document(s)
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 well-founded semantics with disjunction, LNCS-Lecture Notes in Computer Science 3668) Hal 341-355
Author: Joao Alcantara; Carlos Viegas Damasio; Luis Moniz Pereira; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Semantics of framed temporal logic programs, LNCS-Lecture Notes in Computer Science 3668) Hal 356-370
Author: Zhenhua Duan; Xiaoxiao Yang; Maciej Koutny; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Practical higher-order pattern unification with on-the-fly raising, (LNCS-Lecture Notes in Computer Science 3668) Hal 371-386
Author: Gopalan Nadathur; Natalie Linnell; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
An Algebraic Approach to Static Analysis of Active Database Rules
Author: E. Baralis, [et all] | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Termination Analysis of Active Rules with Priorities (846-855)
Author: Alain Couchot; | Call Number: SEM-381 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Using association rules as texture features, page 845
Author: J.A. Rushing | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Symbolic support graph: a space efficient data structure for incremental tabled evaluation, (LNCS-Lecture Notes in Computer Science 3668) Hal 235-249
Author: Diptikalyan Saha; C.R. Ramakrishnan; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Computer-aided circuit analysis using spice
Author: Benzhaf, Walter; | Call Number: 621.381 5 Ban c | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Handling Time-Critical Hospital Emergency Situations Using Asynchronous Web Services (225-230)
Author: Fahrurrozi Rahman Ruli Manurung Mirna Adriani Aniati Murni Dodi Sudiana Purnomo Sidi Priambodo; | Call Number: SEM-297 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   14 15 16 17 18 19 20 21 22 23  Next