Previous
Next
Journal
- data-driven methods for fault detection and diagnosis in chemical processes2
- agent-oriented programming : from prolog to guarded definite clauses1
- algebra, meaning, and computation : essays dedicated to joseph a. goguen on the occasion of his 65th birthday1
- automated deduction - cade-13 : 13th international conference on automated deduction new brunswick, nj, usa, july 30 - august 3, 1996 proceedings1
- concur 2004 - concurrency theory : 15th international conference, london, uk, august 31 - september 3, 2004. proceedings1
- conditional and typed rewriting systems : 2nd international ctrs workshop montreal, canada, june 11-14, 1990 proceedings1
- fault detection and diagnosis in industrial systems1
- functional and logic programming : 4th fuji international symposium, flops'99 tsukuba, japan, november 11-13, 1999 proceedings1
- functional and logic programming : 9th international symposium, flops 2008, ise, japan, april 14-16, 2008. proceedings1