ON THE VERIFICATION OF MODULAR LOGICAL KNOWLEDGE BASES
| Autor(en): | ANTONIOU, G SPERSCHNEIDER, V |
Stichwörter: | Computer Science; Computer Science, Artificial Intelligence; Engineering; Engineering, Electrical & Electronic; Operations Research & Management Science | Erscheinungsdatum: | 1995 | Herausgeber: | PERGAMON-ELSEVIER SCIENCE LTD | Enthalten in: | EXPERT SYSTEMS WITH APPLICATIONS | Band: | 8 | Ausgabe: | 3 | Startseite: | 351 | Seitenende: | 357 | Beschreibung: | European Symposium on Validation and Verification of KBSs (Knowledge-Based Systems) - EUROVAV 93, PALMA DE MALLORCA, SPAIN, 1993 |
ISSN: | 09574174 | DOI: | 10.1016/0957-4174(94)E0026-Q |
Show full item record
