Design and Implementation of Symbolic Computation Systems: International Symposi
67,03 €
Problem-oriented applications of automated theorem proving. - Towards lean proof checking. - Conditional categories and domains. - Analyzing the dynamics of a Z specification. - Walking faster. - Multi-agent cooperation — Concepts and applications.
Jetzt bei Ebay:
