Strategies for the Analysis and Verification of Rule-Based Expert Systems

Topic

Type:

Master Thesis

Supervisor:

Jürgen Dorn

Language:

English

State:

completed

Issued:

25.01.1997

Student

First name:

Norbert

Last name:

Schindler

Started:

25.01.1997

Result

Finished:

25.06.1997