WISENOM. A formal organic chemical nomenclature system.

E. V. Krishnamurthy

Published in: J. Chem. Inf. Comput. Sci. (1982)

Keyphrases

formal model
genetic algorithm
search engine
database systems
data mining
information technology
evolutionary algorithm
formal specification
formal methods
formal analysis
operational semantics