See Allo

Logic from computer science: proceedings of a workshop held November 13-176, 1989/ Y.N. Moschovakis, editor

Springer-Verlag, 1992

Buku Teks

Marlando Wawolumaya, author

Manifestasi logika pada bahasa dalam pemikiran Gottlob Frege: sebuah telaah kritis = the manifestation of logic on language in the thought of Gottlob Frege : a critical study

Fakultas Ilmu Pengetahuan dan Budaya Universitas Indonesia, 2011

UI - Tesis (Open)

Eva Magdalena M., author

Integrasi model cheking dengan interactive theorem proving pembuatan skrip pembuktian secara otomatis

Fakultas Ilmu Komputer Universitas Indonesia, 1997

UI - Skripsi (Membership)

Ben-Ari, Mordecchai, 1948-, author

Mathematical logic for computer science

Springer-Verlag, 2012

Buku Teks

Richards, Tom, author

Clausal form logic : an introduction to the logic of computer reasoning

Addison-Wesley Pub. Co., 1989

Buku Teks

<< 4 5 6 >>