Login / Signup

REGIS-DARWIN specified in the π-calculus.

Susan EisenbachJeff KramerJeff N. Magee
Published in: CDS (1994)
Keyphrases
  • artificial life
  • automated deduction
  • algebraic structure
  • neural network
  • data mining
  • search algorithm
  • artificial neural networks
  • evolutionary algorithm
  • fuzzy logic
  • computer algebra