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).
 
Katal. Centralny UWB
Zaloguj
Moje konto
Preferencje
Bazy
Nowości w katalogu CEN
Pomoc
Bazy Online
Indeksy
Wyszukaj
Lista wyników
Poprzednie wyszukiwania
Moja e-półka
Wykaz działów
Strona Biblioteki
 
  Wybrane rekordy:  Wybrany widok  |  Zapisz/wyślij  |  Utwórz podzestaw  |  Zapisz na serwerze  |  Filtr  
  Cały zestaw:  Zaznacz wszystko  |  Odznacz  |  Waga słów  |  Zawęź  |  Dodaj do Mojej e-półki  |   


nazw osobowych Poprzedni Darmochwał, Agata
Bieżący Darmochwał, Agata (informatyka).
Następny Darmochwał, Tomasz.

Wyniki dla Darmochwał, Agata (informatyka).; sortowanie wg tytułu, potem roku
Opcje sortowania: autora, potem rautora, potem rroku, potem autroku, potem autautora, potem ttytułu, potem tytułu, potemroku, potem tytsygn. potem rokart. potem tyt.
Opcje formatowania :  Ustaw format 951 dla zestawu rekordów 951 Ustaw format 951 dla zestawu rekordów 952 Ustaw format widok skrócony-tabela dla zestawu rekordów 953 Ustaw format 953 dla zestawu rekordów Widok skrócony-tabela
Rekordy 1 - 18 z 18 (maksymalna ilość wyświetlonych i sortowanych rekordów to 6000)  

 
 
No Previous Page   No Next Page
#
Autor Tytuł Rok wyd. Lokalizacja   [?] Artykuł w: Pełny tekst
1
Trybulec, Andrzej (1941-2013).. Boolean Domains / Andrzej Trybulec, Agata Darmochwał. 1990 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : computer assisted approach Vol. 1, 1 (1990), s. 187-190
2
Darmochwał, Agata (informatyka). Calculus of quantifiers : deduction theorem / Agata Darmochwał. 1991 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : (computer assisted approach) Vol. 2, 2 (1991), s. 309-312
3
Bancerek, Grzegorz. Comma category / Grzegorz Bancerek, Agata Darmochwał. 1991 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : (computer assisted approach) Vol. 2, 5 (1991), s. 679-681
4
Darmochwał, Agata (informatyka). Compact Spaces / Agata Darmochwał. 1990 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : computer assisted approach Vol. 1, 2 (1990), s. 383-3386
5
Padlewska, Beata. Connected Spaces / Beata Padlewska. 1990 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : computer assisted approach Vol. 1, 1 (1990), s. 239-244
6
Darmochwał, Agata (informatyka). The Euclidean space / Agata Darmochwał. 1991 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : (computer assisted approach) Vol. 2, 4 (1991), s. 599-603
7
Darmochwał, Agata (informatyka). An experience of formalization of the notion of compactness in the PC MIZAR system / Agata Darmochwał. 1989 BG( 207/ 0)
BHU( 3/ 0)
BWP( 24/ 0)
WHS( 39/ 0)
BIM( 61/ 0)
 Studies in Logic, Grammar and Rhetoric 8 (1989), s. 141-159
8
Darmochwał, Agata (informatyka). Families of Subsets, Subspaces and Mappings in Topological Spaces / Agata Darmochwał. 1990 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : computer assisted approach Vol. 1, 2 (1990), s. 257-261
9
Darmochwał, Agata (informatyka). A first-order predicate Calculus / Agata Darmochwał. 1990 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : (computer assisted approach) Vol. 1, 4 (1990), s. 689-695
10
Darmochwał, Agata (informatyka). Heine-Borel’s covering theorem / Agata Darmochwał, Yatsuka Nakamura. 1991 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : (computer assisted approach) Vol. 2, 4 (1991), s. 609-610
11
Darmochwał, Agata (informatyka). Metric spaces as topological spaces - fundamental concepts / Agata Darmochwał, Yatsuka Nakamura. 1991 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : (computer assisted approach) Vol. 2, 4 (1991), s. 605-608
12
Bancerek, Grzegorz. Propositional Calculus / Grzegorz Bancerek, Agata Darmochwał, Andrzej Trybulec. 1991 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : (computer assisted approach) Vol. 2, 1 (1991), s. 147-150
13
Darmochwał, Agata (informatyka). Similarity of formulae / Agata Darmochwał, Andrzej Trybulec. 1991 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : (computer assisted approach) Vol. 2, 5 (1991), s. 635-642
14
Nakamura, Yatsuka (matematyka). Some facts about union of two functions and continuity of union of functions / Yatsuka Nakamura, Agata Darmochwał. 1991 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : (computer assisted approach) Vol. 2, 4 (1991), s. 611-613
15
Wysocki, Mirosław (matematyka). Subsets of topological spaces / Mirosław Wysocki, Agata Darmochwał. 1990 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : (computer assisted approach) Vol. 1, 1 (1990), s. 231-237
16
Darmochwał, Agata (informatyka). The topological space E2T. Arcs, line segments and special polygonal arcs / Agata Darmochwał, Yatsuka Nakamura. 1991 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : (computer assisted approach) Vol. 2, 5 (1991), s. 617-621
17
Darmochwał, Agata (informatyka). The topological space E2T. Simple closed curves / Agata Darmochwał, Yatsuka Nakamura. 1991 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : (computer assisted approach) Vol. 2, 5 (1991), s. 663-664
18
Padlewska, Beata. Topological Spaces and Continuous Functions / Beata Padlewska, Agata Darmochwał. 1990 BG( 31/ 0)
BIM( 43/ 0)
 Formalized Mathematics : computer assisted approach Vol. 1, 1 (1990), s. 223-230

No Previous Page No Next Page

Możesz korygować swoje wyszukiwanie:

Wybierz bazę:


© 2009 Ex Libris