Repozytorium Uniwersytetu Jagiellońskiego

Design supported by many-sorted first-order logic constraints with aggregate operators

Design supported by many-sorted first-order logic ...

Opis pozycji

Pliki tej pozycji

Plik Rozmiar Format Przeglądanie

Nie ma plików powiązanych z tą pozycją.

Pozycja umieszczona jest w następujących kolekcjach