Вы здесь

Главная

Espoo

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

Annual Report for the Year 1992
Constructing Covering Designs by Simulated Annealing
New Upper Bounds for Binary/Ternary Mixed Covering Codes
Package of Temporal Knowledge for Development of Dynamic Object Domain Models
PROD - A Pr/T- Net Reachability Analysis Tool
Strattification and Tractability in Nonmonotonic Reasoning
Weakened Negative Introspection in Autoepistemic Reasoning