• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Representing Scope in Intuitionistic Deductions.

Matthew Stone
Published in: Theor. Comput. Sci. (1999)
Keyphrases
  • linear logic
  • fuzzy set theory
  • neural network
  • information retrieval
  • decision making
  • video sequences
  • user interface
  • evolutionary algorithm
  • control system
  • probabilistic model
  • theorem prover
  • fuzzy information