Yazar
Colloquim on Algebra
1 cilt bulundu.
Cilt sonuçları
Algebra, combinatorics and logic in computer science
Colloquim on Algebra, Combinatorics and Logic in Computer Science (1983 Györ, Hungary) · North Holland
Sayfa sayısı yok · 1986
Algebra, Boolean / Boolean Algebra / Combinatory logic / Computer programs / Correctness