Termination Proofs for Logic Programs
Praca zbiorowa
Rok wydania:
1990
Język wydania:
angielski
Wydawnictwo:
Springer Verlag »
Rodzaj okładki:
Miękka
Wymiar:
14x21cm
Ilość stron:
142
Waga:
0.282 kg
TIN:
T08671610
Stan:
Używana
Stan egzemplarza:
Widoczne
ślady
użytkowania
Produkt wprowadzony do obrotu na terenie UE przed 13.12.2024.