Ergebnisse zu
Compilerbau

Proceedings of the NATO Advanced Study Institute held at the Palais des Congrès, Versailles, France, 2–13 September, 1974

Selected Contributions on Specification, Design, and Verification from FDL'08

Algorithms for Uncertainty and Defeasible Reasoning