Pergi ke kandungan

Kategori:Logik dalam sains komputer

Daripada Wikipedia, ensiklopedia bebas.

Subkategori

Yang berikut ialah 2 daripada 2 buah subkategori dalam kategori ini.

K

Kaedah formal (2 K, 1 L)

T

Teori jenis (1 K, 4 L)

Diambil daripada "https://ms.wikipedia.org/w/index.php?title=Kategori:Logik_dalam_sains_komputer&oldid=2915141"