Katal. Centralny UWB - Lista haseł

Informujemy, że od dnia 11 marca 2025 r. wszystkie książki wydane do 1939 r. z zasobów Biblioteki Humanistyczno Społecznej im. Andrzeja Wyczańskiego (WHS) dostępne są wyłącznie w czytelni Biblioteki Głównej (ul. Ciołkowskiego 1R, kampus Uniwersytetu w Białymstoku).

	Darmochwał, Agata (informatyka).
Nr systemowy	000404873
Hasło	Darmochwał, Agata (informatyka).
Termin odrzucony	Darmochwał, A Darmochwał, Agata (informatyka)

Rekord 1 - 18 z 18

#	Hasło
1	Boolean Domains / Andrzej Trybulec, Agata Darmochwał. 1990.
2	Calculus of quantifiers. 1991.
3	Comma category / Grzegorz Bancerek, Agata Darmochwał. 1991.
4	Compact Spaces. 1990.
5	Connected Spaces / Beata Padlewska. 1990.
6	The Euclidean space. 1991.
7	An experience of formalization of the notion of compactness in the PC MIZAR system. 1989.
8	Families of Subsets, Subspaces and Mappings in Topological Spaces. 1990.
9	A first-order predicate Calculus. 1990.
10	Heine-Borel’s covering theorem. 1991.
11	Metric spaces as topological spaces - fundamental concepts. 1991.
12	Propositional Calculus / Grzegorz Bancerek, Agata Darmochwał, Andrzej Trybulec. 1991.
13	Similarity of formulae. 1991.
14	Some facts about union of two functions and continuity of union of functions / Yatsuka Nakamura, Agata Darmochwał. 1991.
15	Subsets of topological spaces / Mirosław Wysocki, Agata Darmochwał. 1990.
16	The topological space E2T. 1991.
17	The topological space E2T. Simple closed curves. 1991.
18	Topological Spaces and Continuous Functions / Beata Padlewska, Agata Darmochwał. 1990.