Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | 006.3 Ric c |
| Collection Type | Buku |
| Title | Clausal form logic |
| Author | Richards, Tom; |
| Publisher | Sidney Addison-Wesley 1989 |
| Subject | Programming applications of mathematical logic; Expert systems(Computer science); Artificial intelligence; Logic symbolic and mathematical |
| Location |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| 006.3 Ric c | 91/0946 | TERSEDIA |
| 006.3 Ric c | 91/0946a | TERSEDIA |
| 006.3 Ric c | 91/0946b | TERSEDIA |