Wyszukiwanie zaawansowane

Wyniki wyszukiwania: 9.

Wyniki
		Characterization of classes of frames in modal language / Kazimierz Trzęsicki. autor Trzęsicki, Kazimierz, (1947-2025) Rodzaj materiału: Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki Papers on logic and rationality 27 (40) (2012), s. 199-211 W: Studies in Logic, Grammar and Rhetoric 27 (40) (2012), s. 199-211 W: Papers on logic and rationality : Festschrift in honour of Andrzej Grzegorczyk S. 199-211 Status: Brak dostępnych egzemplarzy.
		Reprezentacja logiczna wiedzy zmieniającej się w czasie / Elżbieta Hajnicz. autor Hajnicz, Elżbieta Wydawnictwo PLJ [] Serie: Problemy Współczesnej Nauki. Informatyka Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Warszawa : Akademicka Oficyna Wydawnicza PLJ, 1996 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 127256.
		Bounded model checking for interpreted systems / Wojciech Penczek and Alessio Lomuscio. autor Penczek, Wojciech Lomuscio, Alessio Serie: Prace IPI PAN ; 946 Rodzaj materiału: Tekst; Format: druk Język: angielski Język streszczenia: polski Szczegóły wydania: Warsaw : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2002 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
		Underapproximating ATL with imperfect information and imperfect recall / Wojciech Jamroga, Michał Knapik. autor Jamroga, Wojciech Knapik, Michał Polska Akademia Nauk. Instytut Podstaw Informatyki [pbl] Serie: Prace IPI PAN ; 1032 Rodzaj materiału: 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.
		Model checking temporal properties of reaction systems / Artur Męski, Wojciech Penczek, Grzegorz Rozenberg. autor Męski, Artur Penczek, Wojciech Rozenberg, Grzegorz Polska Akademia Nauk. Instytut Podstaw Informatyki [pbl] Serie: Prace IPI PAN ; 1028 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2014 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: dostępny Cz 3163.
		Wprowadzenie do logiki temporalnej / Radosław Klimek. autor Klimek, Radosław [Autor] Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków). Uczelniane Wydawnictwa Naukowo-Dydaktyczne [Wydawca] Serie: Skrypty Uczelniane - Akademia Górniczo-Hutnicza im. Stanisława Staszica ; nr 1579 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Młodzież; Szczegóły wydania: Kraków : AGH. Uczelniane Wydawnictwa Naukowo-Dydaktyczne, 1999 Zasoby online: Spis treści Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni CzO 130263.
		Logika matematyczna w informatyce / Mordechai Ben-Ari ; z ang. przeł. Mirosława Miłkowska. autor Ben-Ari, Mordechai, (1948- ) Miłkowska, Mirosława [Tł.] Wydawnictwa Naukowo-Techniczne [pbl] Serie: Klasyka Informatyki Wydanie: Wyd. 2. Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Język: polski Język oryginału: angielski Szczegóły wydania: Warszawa : Wydawnictwa Naukowo-Techniczne, 2006 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (6)Lokalizacja, sygnatura: w czytelni A 155057, ... Niedostępny: Biblioteka Politechniki Poznańskiej: Wypożyczono (4).
		Weryfikacja modelowa specyfikacji sterowników logicznych / Iwona Grobelna ; Uniwersytet Zielonogórski, Instytut Informatyki i Elektroniki. autor Grobelna, Iwona Uniwersytet Zielonogórski. Oficyna Wydawnicza [] Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Szczegóły wydania: Zielona Góra : Oficyna Wydawnicza Uniwersytetu Zielonogórskiego, cop. 2012 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 175640.
		Timed automata based model checking of timed security protocols / Mirosław Kurkowski, Wojciech Penczek. autor Kurkowski, Mirosław, (1971-2024) Penczek, Wojciech Serie: Prace IPI PAN ; nr 1010 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: angielski Język streszczenia: polski Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2008 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.