Return to Browse Limit/Sort Search
     
Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Subjects (1-3 of 3)
Expert systems (Computer science) -- Validation.
1
Microform
1988

Knowledge acquisition for business expert systems : a decision-centric model and its empirical validation


Agarwal, Ritu.

[Place of publication not identified] : [publisher not identified], 1988

Rating:

 
 
Location Call no. Vol. Availability
 W'PONDS FICHE  006.33 Aga/Kaf  AVAILABLE
2
Book
1991

Validating and verifying knowledge-based systems




Los Alamitas, Calif. : IEEE Computer Society Press, [1991]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  006.33 Gup/Vav  AVAILABLE
Expert systems (Computer science) -- Verification.
3
E-book
1994

Computer-aided verification of coordinating processes : the automata-theoretic approach


Kurshan, R. P., 1943- author.

Princeton, New Jersey : Princeton University Press, [1994]

Rating:

 
Electronic Resources
Add Marked to Bag Add All On Page
Locate in results
Return to Browse Limit/Sort Search