Kategori:Mantık programlama araştırmacıları
Araştırmacı
Kategori:Yapay zekâ araştırmacıları
Kategori:Biçimsel yöntemler kişileri
Kategori:Mantıkçılar
Kategori:Programlama dili tasarımcıları
Kategori:Programlama dili araştırmacıları.