@dblp

Compiling Logical Features into Specialized State-Evaluators by Partial Evaluation, Boolean Tables and Incremental Calculation.

, , und . PRICAI, Volume 1886 von Lecture Notes in Computer Science, Seite 72-82. Springer, (2000)

Links und Ressourcen

Tags