DaftarIsitemplate

Call Number

SK-1163 (Softcopy SK-645)

Title

Theorem proving untuk linear logic dan implementasinya dalam prolog

Author

Satyadharma Tirtarasa;

Publisher

Depok: Fakultas Ilmu Komputer, 2013

Subject

Location

FASILKOM-UI;