Wyszukiwanie zaawansowane

Wyniki wyszukiwania: 3.

Wyniki
		SMT-based abstract planning in planics ontology / Artur Niewiadomski, Wojciech Penczek, Agata Półrola. autor Niewiadomski, Artur Penczek, Wojciech Półrola, Agata Serie: Prace IPI PAN ; 1027 Rodzaj materiału: 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.
		Semantyka operacyjna wybranych diagramów UML* / Artur Niewiadomski, Wojciech Penczek, Maciej Szreter. autor Niewiadomski, Artur Penczek, Wojciech Szreter, Maciej Serie: Prace IPI PAN ; 1009 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Język: polski Język streszczenia: angielski 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.
		Towards automated abstract planning based on a genetic algorithm / Jarosław Skaruz, Artur Niewiadomski, Wojciech Penczek. autor Skaruz, Jarosław Niewiadomski, Artur Penczek, Wojciech Polska Akademia Nauk. Instytut Podstaw Informatyki [pbl] Serie: Prace IPI PAN ; 1026 Rodzaj materiału: 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.