Your search for 38310 returns 4249 document(s) |
A Sufficient Condition for strong equivalence under the well-founded semantics, ((LNCS-Lecture Notes in Computer Science 3668) Hal 414-415 |
Author: Christos Nomikos; Panos Rondogiannis; William W. Wadge; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Using CLP to characterise linguistic lattice boundaries in a text mining process, ((LNCS-Lecture Notes in Computer Science 3668) Hal 418-420 |
Author: Alexandre S. Saidi; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Hybridization of genetic algorithms and constraint propagation for the BACP, ((LNCS-Lecture Notes in Computer Science 3668) Hal 421-423 |
Author: Tony Lambert; Carlos Castro; Eric Monfroy; Maria Christina Riff; Frederic Saubion; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The MYDDAS project: using a deductive database for traffic characterization, ((LNCS-Lecture Notes in Computer Science 3668) Hal 424-426 |
Author: Michel Ferreira; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Open world reasoning in datalog, ((LNCS-Lecture Notes in Computer Science 3668) Hal 427-428 |
Author: Gergely Lukacsy; Zsolt Nagy; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Optimizing queries for heterogeneous information sources, ((LNCS-Lecture Notes in Computer Science 3668) Hal 429-430 |
Author: Andras G. Bekes; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Gentra4cp: a generic trace format for constraint programming, ((LNCS-Lecture Notes in Computer Science 3668) Hal 433-434 |
Author: Ludovic Langevine; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Analyses, optimizations and extensions of constraint handling rules: Ph.D. Summary, ((LNCS-Lecture Notes in Computer Science 3668) Hal 435-436 |
Author: Tom Schrijvers; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formalization and verification of interaction protocols, ((LNCS-Lecture Notes in Computer Science 3668) Hal 437-438 |
Author: Federico Chesani; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Towards an integration of answer set and constraint solving, (LNCS-Lecture Notes in Computer Science 3668) Hal 52-66 |
Author: S. Baselice; P.A. Bonatti; M. Gelfond; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|