Ditemukan 596 dokumen yang sesuai dengan query
Amsterdam: Mathematisch Centrum, 1968
005.133 DRA
Buku Teks Universitas Indonesia Library
Artikel Jurnal Universitas Indonesia Library
Ade Azurat, author
HOL is a theorem prover based on a higher order logic. Its expressive logic makes it suitable for embedding programming logics. Compared to other theorem provers, HOL is attractive because of its familiar and intuitive logic and because it is highly programmable. In this paper we will compare a number...
2002
JIKT-2-1-Mei2002-18
Artikel Jurnal Universitas Indonesia Library
In this modern era, the need to have a more tinkerable, more meaningful, and more social programming language has risen. One of the programming environments that catch up with this issue is scratch...
005 ULTI 5:1 (2014)
Artikel Jurnal Universitas Indonesia Library
New York: McGraw-Hill, 1994
R 004.03 IBM
Buku Referensi Universitas Indonesia Library
Taha, Hamd A.
Upper Saddle River, N.J: Prentice-Hall, 2003
001TAHO001
Multimedia Universitas Indonesia Library
Predko, Myke
New York : McGraw-Hill, 2002
629.89 PRE p
Buku Teks Universitas Indonesia Library
Taha, Hamdy A., author
New York: Macmillan, 2007
001TAHO002
Multimedia Universitas Indonesia Library
Belawati H. Widjaja, author
Jakarta: UI-Press, 2001
PGB Pdf
UI - Pidato Universitas Indonesia Library
Blank, Glenn, author
New York : McGraw-Hill, 1998
004BLAU001
Multimedia Universitas Indonesia Library