Вы здесь

Главная

Univ. Utrecht

Связанные издания:

Algorithms for Graphs of Small Treewidth
An Order-Theoretic Model for the Algebra of Communicating Processes
A Relational Calculus for the Design of Distributed Algorithms
Automatically Proving Termination and Innermost Normalisation of Term Rewriting Systems
Basic Process Algebra with Iteration: Completeness of Its Equational Axioms
Bayesian Belief Networks: From Construction to Inference
Compositional Verification of Parallel Programs using Epistimic Logic and Abstract Assertional Languages
Dynamic Graph Algorithms and Data Structures
Evolutionary Computation for the Job-shop Scheduling Problem
Modal Logics for Rational Agents
Motion Planning amidst Fat Obstacles
Motion Planning for Car-like Robots using a Probabilistic Learning Approach
On Fatness and Fitness - Realistic Input Models for Geometric Algorithms
Properties of Measures for Bayesian Belief Network Learning
Reaching a Goal with Directional Uncertainty
Revision by Communication: Program Revision by Consulting Weaker Semantics
Robot Motion Planning using Probabilistic Road Maps
Simple Termination Revisited
Temporalizing Epistemic Default logic
Termination of Term Rewriting: Well-foundedness, Totality and Transformations
The Dynamics of Default Reasoning
The Floodlight Problem