Buscar
Mostrando ítems 1-10 de 773
Mtac: A monad for typed tactic programming in Coq
(Cambridge University Press, 2015-08)
Effective support for custom proof automation is essential for large-scale interactive proof development. However, existing languages for automation via tactics either (a) provide no way to specify the behavior of tactics ...
Linking strategic and tactical forestry planning decisions
(BALTZER SCI PUBL BV, 2000)
In this paper a two-level model and optimization algorithms are introduced to assist forestry companies in simultaneously considering strategic investment and tactical planning decisions. A procedure to reduce the discrepancy ...
Patterns of respiration in diving penguins: is the last gasp an inspired tactic?
(CAMBRIDGE UNIVERSITY PRESS, 2003)
Linking strategic and tactical forestry planning decisionsANNALS OF OPERATIONS RESEARCHAnn. Oper. Res.
(BALTZER SCI PUBL BV, 2017)