DaftarIsitemplate

Call Number

JIKT-2-1-Mei2002-18

Title

Embedded programming logics in HOL theorem prover, hal 18-24

Author

A. Azurat ISWB P. and SD Swierstra

Publisher

Fakultas Ilmu Komputer Universitas Indonesia

Subject

Location

FASILKOM-UI;