Formal specification of complex reasoning systems / edited by Jan Treur, Thomas Wetter
Other Authors: | Treur, Jan, Wetter, Thomas |
---|---|
Format: | MONOGRAPHS |
Language: | English |
Published: |
New York : Ellis Horwood, 1993 |
Series: |
Elis Horwood workshop series
|
Subjects: |
Computer software --
> Development.
Expert systems (Computer science) |
Tags: |
Add
No Tags, Be the first to tag this record!
|
LEADER | 00803nam a2200205 a 4500 | ||
---|---|---|---|
001 | 0004400 | ||
003 | Th-MUT | ||
008 | 181106s9999 xx 000 0 eng d | ||
020 | |a 0133367851 |c 521 | ||
040 | |a DLC |c MUT | ||
050 | 4 | |a QA76.76.E95 |b F676 | |
245 | 1 | 0 | |a Formal specification of complex reasoning systems |b / |c edited by Jan Treur, Thomas Wetter |
260 | |a New York : |b Ellis Horwood, |c 1993 | ||
300 | |a viii, 282 p. : |b illus. ; |c 24 cm. | ||
440 | 0 | |a Elis Horwood workshop series | |
650 | 0 | |a Computer software -- |x Development. | |
650 | 0 | |a Expert systems (Computer science) | |
700 | 1 | |a Treur, Jan | |
700 | 1 | |a Wetter, Thomas | |
991 | |a MONOGRAPHS |b 7 |c 2018-11-06 20:04:04 |d 2022-03-18 13:33:55 |e mut |f n |g null |h n |i a |j m |k |l a |m |n a |o |p b |q |r nyu |s eng |t 1993 |v Formal specification of complex reasoning systems / |