Login / Signup

Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract).

Helena RasiowaV. Wiktor Marek
Published in: ISMIS (1993)
Keyphrases
  • extended abstract
  • database
  • complex systems
  • artificial intelligence
  • digital circuits
  • neural network
  • expert systems
  • management system
  • modal logic
  • linear logic
  • rewrite systems