Sign in
Formal Calculus and Enumerative Combinatorics.
Maylis Delest
Published in:
Computational Support for Discrete Mathematics (1992)
Keyphrases
</>
formal language
formal model
graph theory
integer programming
database
genetic algorithm
formal specification
databases
machine learning