Kategoria:Konferencje logiczne
Strony w kategorii „Konferencje logiczne”
M
- Międzynarodowa konferencja na temat programowania logicznego
- Międzynarodowa konferencja na temat technik i zastosowań przepisywania
- Międzynarodowa konferencja na temat zautomatyzowanego wnioskowania za pomocą tablic analitycznych i metod pokrewnych
- Międzynarodowa wspólna konferencja na temat automatycznego wnioskowania
- Międzynarodowe Warsztaty Dowodzenia Twierdzeń Pierwszego Porządku