Yazar
Ruy J G B de Queiroz
4 cilt bulundu.
Cilt sonuçları
Logic for concurrency and synchronisation
Ruy J. G. B. de Queiroz · Kluwer Academic Publishers
284 sayfa · 2003
Modality (Logic) / Proof theory / Parallel programming (Computer science) / Infinity / Logic
Logic, Language, Information, and Computation
Ulrich Kohlenbach, Pablo Barceló, Ruy J G B de Queiroz · Springer London, Limited
257 sayfa · 2013
Logic / Mathematics / Logic, symbolic and mathematical / Artificial intelligence / Computer science
Logic, Language, Information, and Computation
Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz · Springer International Publishing AG
Sayfa sayısı yok · 2022
Kategori yok
Functional Interpretation of Logical Deduction
Ruy J. G. B. de Queiroz, Anjolina G. De Oliveira · World Scientific Publishing Co Pte Ltd
300 sayfa · 2011
Logic, symbolic and mathematical / Logic / Modality (Logic) / Proof theory