Interakcyjny system automatycznego wnioskowania o własnościach programów wyrażanych w logice algorytmicznejAnna Zalewska

Interakcyjny system automatycznego wnioskowania o własnościach programów wyrażanych w logice algorytmicznej

Name: Interakcyjny system automatycznego wnioskowania o własnościach programów wyrażanych w logice algorytmicznej
Author: Anna Zalewska

Anna Zalewska

0 bibliotek1 wydanie · 1996

Książka Biblioteki (0)

Żadna biblioteka nie ma tej książki.

Wczytuję…

Biblioteki: Interakcyjny system automatycznego wnioskowania o własnościach programów wyrażanych w logice algorytmicznej, Anna Zalewska | gdziejestksiazka.pl