Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | 006.3 Ram f |
| Collection Type | Buku |
| Title | Formal Methods in Artificial Intelligence |
| Author | Ramsay, Allan; |
| Publisher | NY: Cambridge University Press; 1988 |
| Subject | Artificial Intelligence-Methodology; Logic symbolic and Mathematical |
| Location | FASILKOM-UI; |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| 006.3 Ram f | 89/5763 | TERSEDIA |