Szukana fraza: [Streszczenie = "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."]

Wyników: 1