Optymalny system dowodowy dla rachunku zdań i języki zupełne

15.07.2021

E. Majewska

Optymalny system dowodowy dla rachunku zdań i języki zupełne

Metody Analizy Informacji Niekompletnej i Rozproszonej, Białystok, Poland, Nov 26-28, 1999

Politechnika Białostocka (org.)

©2022 Wszystkie prawa zastrzeżone.