Verification, validation, and integrity issues in expert and database systems: Two perspectives
DOI<link itemprop=identifier href="https://doi.org/10.1002/1098-111X(200103)16:3<425::AID-INT1016>3.0.CO;2-C" /><425::AID-INT1016>3.0.CO;2-C 10.1002/1098-111X(200103)16:3<425::AID-INT1016>3.0.CO;2-CzbMath0990.68062OpenAlexW1977670620WikidataQ57697812 ScholiaQ57697812MaRDI QIDQ2739003
No author found.
Publication date: 9 September 2001
Full work available at URL: https://doi.org/10.1002/1098-111x(200103)16:3<425::aid-int1016>3.0.co;2-c
Database theory (68P15) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)
Related Items (1)
Cites Work
- Artificial intelligence and mathematics. 1
- Integrity constraint checking in stratified databases
- An overview of nonmonotonic reasoning and logic programming
- A Machine-Oriented Logic Based on the Resolution Principle
- A relational model of data for large shared data banks
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Verification, validation, and integrity issues in expert and database systems: Two perspectives