| Your search for 38322 returns 3897 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
|
| A generic framework for the analysis and specialization of logic programs, ( (LNCS-Lecture Notes in Computer Science 3668) Hal 407-409 |
|
Author: German Puebla; Elvira Albert; Manuel Hermenegildo; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| ScaLAPACK: a scalable linear algebra library for distributed memory concurrent computers, Hal. 120-127 |
|
Author: Jaeyoung Choi, Jack Dongarra, Roldan Pozo, David W. Walker; | Call Number: SEM-173 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Concurrent systems: operating systems database and distributed systems an introduction approach |
|
Author: Bacon, Jean; | Call Number: 005.447 Bac c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Intelligent schedulling dengan pendekatan constraint programming/ Dewi Mairiza |
|
Author: Dewi Mairiza | Call Number: PRO-2007-22 | Type: Proposal Research (Khusus Dose
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Applications of constraint programming in process systems engineering, HAL. 1094-1099 |
|
Author: Prakash R. Kotecha, Mani Bhushan; Ravindra D. Gudi; | Call Number: SEM-290 | Type: Indeks Artikel prosiding/Sem
|
|
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
|
Search Result