Your search for 38199 returns 2344 document(s) |
Concurrent methodologies for global optimization, (LNCS-Lecture Notes in Computer Science 3668) Hal 441-443 |
Author: Luca Bortolussi; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A temporal programming language for heterogenous information systems, (LNCS-Lecture Notes in Computer Science 3668) Hal 444-445 |
Author: Vitor Noguiera; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Nonmonotonic logic programs for the semantic web, (LNCS-Lecture Notes in Computer Science 3668) Hal 446-447 |
Author: Roman Schindlauer; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
ICLP 2005 doctoral consortium silcc is linear concurrent constraint programming, (LNCS-Lecture Notes in Computer Science 3668) Hal 448-449 |
Author: Remy Haemmerle; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Analysis and optimization of CHR programs, (LNCS-Lecture Notes in Computer Science 3668) Hal 450-451 |
Author: Jon Sneyers; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search and inference in AI planning, (LNCS-Lecture Notes in Computer Science 3709) Hal 1-4 |
Author: Hector Geffner; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
OWL: a description logic based ontology language (extended abstract), (LNCS-Lecture Notes in Computer Science 3709) Hal 5-8 |
Author: Ian Horrocks; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The G12 project: mapping solver independent models to efficient solutions, (LNCS-Lecture Notes in Computer Science 3709) Hal 13-16 |
Author: Peter J. Stuckey; Maria Garcia de la Banda; Michael Maher; Kim Marriott; John Slaney; Zoltan Somogyi; Mark Wallace; Toby Walsh; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Symmetry definitions for constraint satisfaction problems, (LNCS-Lecture Notes in Computer Science 3709) Hal 17-31 |
Author: David Cohen; Peter Jeavons; Christopher Jefferson; Karen E. Petrie; Barbara M. Smith; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Dynamic ordering for asynchronous backtracking on discsps, (LNCS-Lecture Notes in Computer Science 3709) Hal 32-46 |
Author: Roie Zivan; Amnon Meisels; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|