Higher Order Logic Theorem Proving and Its Applications
Rok wydania: 1993
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
użytkowania
21,61 zł
SZCZEGÓŁY
dodaj do listy życzeń
Higher Order Logic Theorem Proving and Its Applications
Rok wydania: 1993
Rodzaj okładki:
Miękka
Stan:
Widoczne
ślady
używania
dodaj do listy życzeń