Wyniki wyszukiwania: 2.

Sortuj
Wyniki
SMT-based abstract planning in planics ontology / Artur Niewiadomski, Wojciech Penczek, Agata Półrola. autor Serie: Prace IPI PAN ; 1027
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warsaw : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2012
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.
Reachability analysis for timed automata based on partitioning / Agata Półrola, Wojciech Penczek, Maciej Szreter. autor Serie: Prace IPI PAN ; 961
Rodzaj materiału: Tekst Tekst; Format: druk
Język: angielski Język streszczenia: polski
Szczegóły wydania: Warszawa : Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2003
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni Cz 3163.