Login / Signup

A Formal Specification of the Memorization Process.

Natalia LópezManuel NúñezFernando L. Pelayo
Published in: Int. J. Cogn. Informatics Nat. Intell. (2007)
Keyphrases
  • formal specification
  • model checking
  • specification language
  • object oriented design
  • information systems
  • database
  • knowledge base
  • multi agent
  • source code