Library Automation and Digital Archive
LONTAR
Fakultas Ilmu KomputerUniversitas Indonesia
| Call Number | 519.7 Man l |
| Collection Type | Buku |
| Title | The logical basis for computer programming vol. 2: deductive systems |
| Author | Manna, Zohar; |
| Publisher | Reading, Mass: Addison-Wesley, 1985 |
| Subject | Programming (electronic digital computers); Logic, symbolic and mathematical |
| Location |
| Nomor Panggil | ID Koleksi | Status |
|---|---|---|
| 519.7 Man l | 89/5859a | TERSEDIA |
| 519.7 Man l | 89/5859c | TERSEDIA |
| 519.7 Man l | 89/5859b | TERSEDIA |
| 519.7 Man l | 89/5859e | TERSEDIA |
| 519.7 Man l | 89/5859d | TERSEDIA |
| 519.7 Man l | 89/5859a | TERSEDIA |
| 519.7 Man l | 90/0324 | TERSEDIA |
| 519.7 Man l | 91/1074c | TERSEDIA |
| 519.7 Man l | 91/1074d | TERSEDIA |
| 519.7 Man l | 91/1074 | TERSEDIA |