External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

On the Verification of Modular Logical Knowledge Bases

Grigoris Antoniou, Volker Sperschneider. On the Verification of Modular Logical Knowledge Bases. In Jesús Cardeñosa, Pedro Meseguer, editors, Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV 93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain. pages 117-128, Universidad Politécnica de Madrid, 1993.

Abstract

Abstract is missing.

runs on