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)

O książce

Autor: Anna Zalewska
Lata wydań: 1996
Liczba wydań: 1
Języki: polski
Rodzaj: książka

Rozprawa doktorska

Wczytuję…

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