Search for: [Abstract_pl = "W rozprawie proponuje się wspomaganie wnioskowaniem sterowania binarnego \(np. synteza, analiza, testowanie i weryfikacja\). Uniwersalności algorytmu wnioskowania umożliwiła zastosowanie go również do rozwiązywania problemów naukowych, takich jak analiza kombinatoryczna grafów, czy rozwiązywanie zawiłych problemów logicznych."]

Number of results: 1