Wyszukiwanie zaawansowane

Wyniki wyszukiwania: 3.

Wyniki
		Systemy Herbranda dowodzenia twierdzeń rachunku predykatów / Ewa Orłowska ; Polska Akademia Nauk. Centrum Obliczeniowe. autor Orłowska, Ewa, (1935- ) Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Język: polski Język streszczenia: angielski, rosyjski Szczegóły wydania: Warszawa : Państwowe Wydawnictwo Naukowe, 1976 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (2)Lokalizacja, sygnatura: na półce Mg 73978, ... Zamów
		Maszyny matematyczne i ich zastosowania / William H. Desmonde ; [tł. Stella Ewa Orłowska]. autor Desmonde, William Herbert, (1921- ) Orłowska, Ewa, (1935- ) [Tł.] Państwowe Wydawnictwo Naukowe (1951-1992) [pbl] Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: polski Język oryginału: angielski Szczegóły wydania: Warszawa : Państwowe Wydawnictwo Naukowe, 1969 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: na półce Mg 54806.
		Incomplete information : structure, inerence, complexity / Stéphane P. Demri, Ewa S. Orłowska. autor Demri, Stéphane P, (1967- ) [Autor] Orłowska, Ewa, (1935- ) [Autor] Springer-Verlag (Berlin) [Wydawca] Serie: Monographs in Theoretical Computer Science Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Tokyo : Springer, © 2002 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 181844.