Wyniki wyszukiwania: 3.

Sortuj
Wyniki
Knowledge and intuitionistic tense logic / Dariusz Surowik. autor
Rodzaj materiału: Artykuł Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki
Studies in Logic, Grammar and Rhetoric S. 73-87 W: Logic, philosophy and computer science : second special issue S. 73-87 W: Studies in Logic, Grammar and Rhetoric 30 (43) (2012), s. 73-87
Status: Brak dostępnych egzemplarzy.
Some problems in representation of knowledge in formal languages / Dariusz Surowik. autor
Rodzaj materiału: Artykuł Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki
Studies in Logic, Grammar and Rhetoric S. 51-57 W: Logic, philosophy and computer science : second special issue S. 51-57 W: Studies in Logic, Grammar and Rhetoric 30 (43) (2012), s. 51-57
Status: Brak dostępnych egzemplarzy.
Logic, philosophy and computer science : second special issue / ed. by Dariusz Surowik, Robert Milewski ; under the auspices of the Polish Association for Logic and Philosophy of Science. autor Serie: Studies in Logic, Grammar and Rhetoric ; 30 (43)
Rodzaj materiału: Tekst Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany;
Szczegóły wydania: Bialystok : University of Bialystok, 2012
Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 178012.