Yazar
Kahl, Wolfram. editor.
Format:
Electronic Resources
Alıntı:
areas such as verification.-Analysis and development of programs and algorithms -- Algebraic approaches
View Other Search Results
Yazar
Höfner, Peter. editor.
Format:
Electronic Resources
Alıntı:
Composition Table -- Fuzzifying Modal Algebra -- Tableau Development for a Bi- intuitionistic Tense Logic
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: