| Your search for 39710 returns 3102 document(s) |
| 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
|
| 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
|
| On solving soft temporal constraints using sat techniques, (LNCS-Lecture Notes in Computer Science 3709) Hal 607-621 |
|
Author: Hossein M. Sheini; Bart Peintner; Karem A. Sakallah; Martha E. Pollack; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| An on-the-fly tableau construction for a real-time temporal logic, (LNCS-Lecture Notes in Computer Science 1926) Hal 276-290 |
|
Author: Marc Geilen; Dennis Dams; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| It usually works: the temporal logic of stochastic systems, (LNCS-Lecture Notes in Computer Science 939) Hal 155-165 |
|
Author: Adnan Aziz; Vigyan Singhal; Felice Balarin; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Augmenting branching temporal logics with existential quantification over atomic propositions, (LNCS-Lecture Notes in Computer Science 939) Hal 325-338 |
|
Author: Orna Kupferman (Bernholtz); | Call Number: 004 Int c | 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
|
| 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
|
| Modeling constraint programs with software technology standards, (LNCS-Lecture Notes in Computer Science 3709) Hal 850 |
|
Author: Matthias Hoche; Stefan Jahnichen; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Issues in the refinement of distributed programs (invited talk), (LNCS-Lecture Notes in Computer Science 2773) Hal 12-17 |
|
Author: Yoram Moses; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result