Automated Theorem Proving for the Deduction of Knowledge in Databases with Contradictory Information

Automated Theorem Proving for the Deduction of Knowledge in Databases with Contradictory Information

Content
Grafik
Authors
  • Quirchmayr, Gerald
  • Baaz, M.
Grafik Top
Shortfacts
Category
 Paper in Conference Proceedings or in Workshop Proceedings
Event Title
 International Symposium Applied Informatics
Divisions
 Multimedia Information Systems
Event Location
 Anaheim, Calgary
Event Type
 Conference
Event Dates
 1988-01-01
Date
 1988
Export
Grafik Top
Universität Wien| Fakultät für Informatik | Währinger Straße 29 | 1090 Wien | T +43-1-4277-780 01 | Imprint | Webteam
EPrints Logo
CS is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.