Search Result

Found 10641 Document(s) match with the query 20450584
Lectures on the logic of computer programming
Author : Manna, Zohar, author
Call Number : e20450584
Collection Type : eBooks
Location : Universitas Indonesia Library
The logical basis for computer programming; Vol. I: deductive reasoning
Author : Manna, Zohar, author
Call Number : 519.7 MAN l
Collection Type : Buku Teks SO
Location : Universitas Indonesia Library
Mathematical logic for computer science
Author : Ben-Ari, Mordecchai, 1948-, author
Call Number : 511.3 BEN m
Collection Type : Buku Teks SO
Location : Universitas Indonesia Library
Mathematical logic for computer science
Author : Ben-Ari, Mordecchai, 1948-, author
Call Number : e20407627
Collection Type : eBooks
Location : Universitas Indonesia Library
Clausal form logic : an introduction to the logic of computer reasoning
Author : Richards, Tom, author
Call Number : 006.3 RIC c
Collection Type : Buku Teks SO
Location : Universitas Indonesia Library
Logic from computer science: proceedings of a workshop held November 13-176, 1989/ Y.N. Moschovakis, editor
Author : No author
Call Number : 511.3 LOG
Collection Type : Buku Teks SO
Location : Universitas Indonesia Library
<<   1 2 3 4 5   >>