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