Hasil Pencarian  ::  Kembali

Hasil Pencarian

Ditemukan 2 dokumen yang sesuai dengan query
cover
Manna, Zohar, author
The logical basis for computer programming; Vol. II: deductive systems
Reading, Mass.: Addison-Wesley, 1990
519.7 MAN l
Buku Teks  Universitas Indonesia Library
cover
Manna, Zohar, author
The logical basis for computer programming; Vol. I: deductive reasoning
Reading, Mass.: Addison-Wesley, 1985
519.7 MAN l
Buku Teks  Universitas Indonesia Library