|
|
|
|
| LEADER |
01116pam#a2200265#a#4500 |
| 001 |
BCCAB011619 |
| 008 |
900731s1991####caua#####b####001#0#eng## |
| 005 |
20060925102521.0 |
| 003 |
AR-BCCAB |
| 245 |
0 |
0 |
|a Validating and verifying knowledge-based systems /
|c [compiled by] Uma G. Gupta.
|
| 260 |
# |
# |
|a Los Alamitos, Calif. :
|b IEEE Computer Society Press,
|c c1991.
|
| 300 |
# |
# |
|a ix, 409 p. :
|b il. ;
|c 29 cm.
|
| 504 |
# |
# |
|a Incluye referencias bibliográficas e índice.
|
| 020 |
# |
# |
|a 0818689951
|
| 740 |
0 |
# |
|a Validation and verification of knowlege-based systems.
|
| 080 |
# |
# |
|a 681.3:519.713
|
| 650 |
# |
0 |
|a Expert systems (Computer science)
|x Validation.
|
| 650 |
# |
0 |
|a Expert systems (Computer science)
|x Verification.
|
| 700 |
1 |
# |
|a Gupta, Uma G.,
|e comp.
|4 com
|
| 040 |
# |
# |
|a DLC
|c DLC
|d DLC
|b spa
|d arbccab
|
| 500 |
# |
# |
|a Título del sustituto de portada: Validation and verification of knowledge-based systems.
|
| 500 |
# |
# |
|a "IEEE Computer Society Press order number 1995"--R. de port.
|
| 500 |
# |
# |
|a "IEEE catalog number EH0320-2"--R. de port.
|
| 942 |
# |
# |
|c BK
|
| 952 |
# |
# |
|2 udc
|a ARBCCAB
|b ARBCCAB
|i 15037
|o 681.3:519.713 G96
|p 15037
|t 1
|y BK
|