Key Phrases - Statistically Improbable Phrases (SIPs):
(learn more)
timed logic processes, timed bisimilarity, partial answer set, multiple answer sets, plumbing module, alternating clause, annotated constraint logic programming, spatial annotations, evolution clause, ssd tracker, confidentiality attack, functional reactive programming, annotated formula, tuple centres, answer clause, timed bisimulation, reflection package, temporal annotations, using tabled resolution, suspension list, trail stack, trans rules, first choice point, unexplored alternatives, update constraints
Key Phrases - Capitalized Phrases (CAPs):
(learn more)
Java Beans, Computer Science, International Conference, Springer-Verlag Berlin Heidelberg, Warehouse Location, Assumption Grammars, Extended Andorra Model, New Generation Computing, Lecture Notes, Santos Costa, International Workshop, Springer Verlag, Yale University, John Wiley, Modus Ponens, Morgan Kaufmann, New Mexico State University, Practical Aspects of Declarative Languages, Prentice Hall, The Practical Application Company, Web Gate, Academic Press, Brahim Hnich, Cambridge University Press, Computer Society Press
New!
Books on Related Topics |
Concordance
|
Text Stats
Browse Sample Pages:
Front Cover |
Table of Contents |
First Pages |
Index |
Back Cover |
Surprise Me!