::  Hasil Pencarian  ::  Simpan CSV :: Kembali

Hasil Pencarian

 
Ditemukan 41 dokumen yang sesuai dengan query
cover
Bergmann, Merrie
The logic book / Merrie Bergmann, James Moor, Jack Nelson
New York: McGraw-Hill Publishing Company, 1990
160 BER l
Buku Teks  Universitas Indonesia Library
cover
Eva Magdalena M., author
Integrasi model cheking dengan interactive theorem proving pembuatan skrip pembuktian secara otomatis
Depok: Fakultas Ilmu Komputer Universitas Indonesia, 1997
S26968
UI - Skripsi (Membership)  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
cover
Richards, Tom, author
Clausal form logic : an introduction to the logic of computer reasoning
Sydney: Addison-Wesley Pub. Co., 1989
006.3 RIC c
Buku Teks  Universitas Indonesia Library
cover
Bundy, Alan, author
The computer modelling of mathematical reasoning
London: Academic Press, 1983
511.3 BUN c
Buku Teks  Universitas Indonesia Library
cover
Lipschutz, Seymour, 1915-2003, author
Schaum's outline of theory and problems of discrete mathematics
New York: McGraw-Hill, 1976
511 LIP d (1)
Buku Teks  Universitas Indonesia Library
cover
Ligozat, Gerard, author
Qualitative spatial and temporal reasoning
London: Wiley , 2012
511.3 LIG q
Buku Teks  Universitas Indonesia Library
cover
Lipschutz, Seymour, 1915-2003, author
Schaum's outlines : teori dan soal-soal matematika diskret
Jakarta: Erlangga, 2008
512.02 LIP st (1)
Buku Teks  Universitas Indonesia Library
cover
Ben-Ari, Mordecchai, 1948-, author
Mathematical logic for computer science
London: Springer-Verlag, 2012
511.3 BEN m
Buku Teks  Universitas Indonesia Library
cover
Rich, Elaine, author
Automata, Computability, and Complexity: Theory and Applications
Upper Saddle River NJ: Pearson Prentice hall, 2009
511.3 RIC a
Buku Teks  Universitas Indonesia Library
<<   1 2 3 4 5   >>