W dniach od 2 kwietnia do 5 kwietnia 2024 r. prowadzone będą prace związane z wdrożeniem nowej wersji systemu Repozytorium UJ. Nie będzie możliwe wprowadzanie nowych informacji do repozytorium. Za utrudnienia przepraszamy.
Brak obsługi JavaScript w Twojej przeglądarce. Niektóre funkcje tej strony mogą być niedostępne.
Przejdź do menu
Nauki ścisłe
Wyświetlanie 1 z wszystkich 1 wyników dla kolekcji: Nauki ścisłe. (0.018 sekund)
wybierz styl...
apa
harvard
chicago-fullnote-bibliography
ISO-690
Equivalence constraint satisfaction problems / Bodirsky Manuel, Wrona Michał
// In: Computer Science Logic (CSL'12) : 26th International Workshop/21st Annual Conference of the EACSL / ed. Cégielski Patrick, Durand Arnaud. - Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012. - p. 122-136. - (LIPIcs - Leibniz International Proceedings in Informatics, ISSN 1868-8969; 16). - ISBN 978-3-939897-42-2
artykuł (rozdział) w książce | publikacja pokonferencyjna
Przejdź do stopki
Filtruj
Data wydania
Typ
artykuł (rozdział) w książce (1)
Podtyp
Afiliacja
Język publikacji
Pliki