[BQ1988] Automated Theorem Proving for the Deduction of Knowledge in Databases with Contradictionary Information

Tree

Index

Bibliography

[BQ1988] Automated Theorem Proving for the Deduction of Knowledge in Databases with Contradictionary Information

BaazQuir88IASTED (In proceedings)
Author(s)	Baaz M. and Quirchmayr G.
Title	"Automated Theorem Proving for the Deduction of Knowledge in Databases with Contradictionary Information"
Date	1988
In	Proc. IASTED Int. Symp. on Applied Informatics
Page(s)	53--55

BibTeX code

@inproceedings{BaazQuir88IASTED,
  address = {Grindelwald, Schweiz},
  title = {Automated Theorem Proving for the Deduction of Knowledge in Databases with Contradictionary Information},
  author = {Baaz, M. and Quirchmayr, G.},
  year = {1988},
  booktitle = {Proc. IASTED Int. Symp. on Applied Informatics},
  pages = {53--55},
}

Overview

Tree

Index

Bibliography

FRAMES NO FRAME

Submit a bug