481 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Posthoff, Christian. author.
Format:
Electronic Resources
Alıntı:
Logic Functions and Equations Binary Models for Computer Science / Posthoff, Christian. author.
Yazar
Ayala-Rincón, Mauricio. author.
Format:
Electronic Resources
Alıntı:
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs / Ayala-Rincón
View Other Search Results
Yazar
Biere, Armin. editor.
Format:
Electronic Resources
Alıntı:
Computer logic.
Yazar
van Bevern, René. editor. (orcid)0000-0002-4805-218X
Format:
Electronic Resources
Alıntı:
Computer Science – Theory and Applications 14th International Computer Science Symposium in Russia
Yazar
Silva, Josep. editor.
Format:
Electronic Resources
Alıntı:
Computer logic.
Yazar
Chang, Bor-Yuh Evan. editor.
Format:
Electronic Resources
Alıntı:
Computer logic.
Yazar
Zamani, Majid. editor.
Format:
Electronic Resources
Alıntı:
Computer logic.
Yazar
Mesnard, Fred. editor.
Format:
Electronic Resources
Alıntı:
Computer logic.
Yazar
Filiot, Emmanuel. editor.
Format:
Electronic Resources
Alıntı:
Computer logic.
Yazar
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
Computer logic.
Yazar
Bjørner, Nikolaj. editor.
Format:
Electronic Resources
Alıntı:
Computer logic.
Yazar
Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872
Format:
Electronic Resources
Alıntı:
Computer logic.
481 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: