Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Ukraiński (UK)
Przejdź do strony domowej biblioteki Uniwersytet Ekonomiczny we Wrocławiu Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaUniwersytet Ekonomiczny we Wrocławiu

Wyszukujesz frazę ""Kreutzer S"" wg kryterium: Autor

  Lista filtrów
Wyrównaj
Wyświetlanie 1-20 z 150
Tytuł:
Generalising Automaticity to Modal Properties of Finite Structures
Autorzy:
Dawar, A.
Kreutzer, S.
Pokaż więcej
Źródło:
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science : 22nd Conference Kanpur, India, December 12–14, 2002 Proceedings. 2556:109-120
Książka elektroniczna
Szczegóły
Tytuł:
Inflationary Fixed Points in Modal Logic
Autorzy:
Dawar, A.
Grädel, E.
Kreutzer, S.
Pokaż więcej
Źródło:
Computer Science Logic : 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings. 2142:277-291
Książka elektroniczna
Szczegóły
Wyświetlanie 1-20 z 150

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies