Zobrazeno 1 - 1
of 1
pro vyhledávání: '"BOYER, MARC"'
Publikováno v:
Interactive Theorem Proving (9783642396335); 2013, p484-489, 6p