Login / Signup

omega+-Valued Algorithmic Logic as a Tool to Investigate Procedures.

Helena Rasiowa
Published in: MFCS (1974)
Keyphrases
  • multi valued
  • logic programming
  • software tools
  • analysis tool
  • predicate logic
  • integrity constraints
  • real time
  • decision making
  • case study