Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | 511.3 Wal m |
| Collection Type | Buku |
| Title | A many-sorted calculus based on resolution and paramodulation |
| Author | Walther, Christoph; |
| Publisher | London: Morgan Kaufmann, 1987 |
| Subject | Artificial intelligence; Reasoning |
| Location | FASILKOM-UI; |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| 511.3 Wal m | 87/5525 | TERSEDIA |