Вы здесь

Главная

Utrecht

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

An Order-Theoretic Model for the Algebra of Communicating Processes
Basic Process Algebra with Iteration: Completeness of Its Equational Axioms
Evolutionary Computation for the Job-shop Scheduling Problem
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
Simple Termination Revisited
Temporalizing Epistemic Default logic
The Dynamics of Default Reasoning
The Floodlight Problem