Formal specification methods meet knowledge-based systems /
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
College Station, Tex. :
Dept. of Computer Science, Texas A&M University,
1991.
|
| Series: | Technical report (Texas A & M University. Computer Science Department) ;
TAMU 91-034. |
| Subjects: |
Cushing: Texas A&M (Does not check out)
| Call Number: |
QA76 .C656 91-034 |
|
|---|---|---|
| Call Number | Status | Get It |
| QA76 .C656 91-034 | Available | |