Megjelenítés: 1 - 2 / 2 - kulcsszavak: 'Ayala-Rincón, Mauricio', keresési idő: 0.01mp Találatok szűrése
1
Applied Logic for Computer Scientists : Computational Deduction and Formal Proofs
Szerző: Ayala-Rincón, Mauricio
Megjelenés: 2017
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
2
Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings
Megjelenés: 2017
Közreműködő(k): “...Ayala-Rincón, Mauricio, szerk....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben —