Wyniki wyszukiwania: 2.

Sortuj
Nie podświetlaj Podświetlaj
Zaznacz wszystko Wyczyść wszystko
Wyniki
Underapproximating ATL with imperfect information and imperfect recall / Wojciech Jamroga, Michał Knapik. autor Serie: Prace IPI PAN ; 1032
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2015
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Logical methods for specification and verification of multi-agent systems / Wojciech Jamroga. autor Serie: Monograph Series - Polish Academy of Science. Institute of Computer Science ; 10
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Szczegóły wydania: Warsaw : Institute of Computer Science, Polish Academy of Sciences, 2015
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 188471.