| Your search for 38335 returns 2353 document(s) |
| 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
|
| 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
|
| Denotational semantics using horn concurrent transaction logic, ((LNCS-Lecture Notes in Computer Science 3668) Hal 431-432 |
|
Author: Marcus Vinicius Santos; | 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
|
| Preference Reasoning, (LNCS-Lecture Notes in Computer Science 3668) Hal 5-8 |
|
Author: Francesca Rossi; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modelling systems in CLP, ((LNCS-Lecture Notes in Computer Science 3668) Hal 412-413 |
|
Author: Joxan Jaffar; Andrew E. Santosa; Razvan Voicu; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Coordination of many agents, (LNCS-Lecture Notes in Computer Science 3668) Hal 98-112 |
|
Author: Joxan Jaffar; Roland H.C.Yap; Kenny Q. Zhu; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| A type system for CHR,( (LNCS-Lecture Notes in Computer Science 3668) Hal 402-403 |
|
Author: Emmanuel Coquery; Francois Fages; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| PS-LTL for constraint-based security protocol analysis, (LNCS-Lecture Notes in Computer Science 3668) Hal 439-440 |
|
Author: Ricardo Corin; Ari Saptawijaya; Sandro Etalle; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
Search Result