SACCO-SYCOJET: two different ways of verifying knowledge-based systems
Year: 1991
Type: book
Source: John Wiley & Sons, Inc. eBooks
Authors: Marc Ayel, Jean-Pierre Laurent
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W3058858