Yazar
Ayala-Rincón, Mauricio. author.
Format:
Electronic Resources
Alıntı:
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs / Ayala-Rincón
Yazar
Biere, Armin. editor.
Format:
Electronic Resources
Alıntı:
Computer logic.
View Other Search Results
Yazar
Chang, Bor-Yuh Evan. editor.
Format:
Electronic Resources
Alıntı:
Computer logic.
Yazar
Mesnard, Fred. 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
Hospodár, Michal. editor.
Format:
Electronic Resources
Alıntı:
Computer logic.
Yazar
Hofman, Piotrek. editor.
Format:
Electronic Resources
Alıntı:
Computer logic.
Yazar
Hierons, Robert Mark. editor. (orcid)0000-0002-4771-1446
Format:
Electronic Resources
Alıntı:
Computer logic.
Yazar
Parker, David. editor. (orcid)0000-0003-4137-8862
Format:
Electronic Resources
Alıntı:
Computer logic.
Yazar
Hutton, Graham. editor. (orcid)0000-0001-9584-5150
Format:
Electronic Resources
Alıntı:
Computer logic.
Yazar
Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000
Format:
Electronic Resources
Alıntı:
Computer logic.
Arama Sonuçlarını Sınırlandır
Daraltılmış: