The deductive solution of chemical problems by computer programs on the basis of a mathematical model of chemistry

This publication has 8 references indexed in Scilit:

• An improved version of the constructive enumeration of molecular graphs with prescribed sequence of valence states
  Chemometrics and Intelligent Laboratory Systems, 1993
• An existence theorem for molecular graphs determined by a sequence of valence states
  Journal of Mathematical Chemistry, 1992
• Constructive enumeration of molecular graphs with prescribed valence states
  Chemometrics and Intelligent Laboratory Systems, 1991
• Transparent formal methods for reducing the combinatorial abundance of conceivable solutions to a chemical problem : Computer-assisted elucidation of complex reaction mechanisms
  Analytica Chimica Acta, 1990
• Anwendung „künstlicher Intelligenz”︁ in der Chemie; Computergerechte Darstellung chemischer Strukturen und ihre Anwendung
  Zeitschrift für Chemie, 1983
• An efficient algorithm for the computation of the canonical numbering of reaction matrices
  Computers & Chemistry, 1983
• New Applications of Computers in Chemistry
  Angewandte Chemie International Edition in English, 1979
• Neue Anwendungsgebiete für Computer in der Chemie
  Angewandte Chemie, 1979