Results 1 to 10 of about 2,875 (123)
Grzegorczyk’s Logics. Part I [PDF]
, 2015 This article is the second in a series formalizing some results in my joint work with Prof. Joanna Golinska-Pilarek ([9] and [10]) concerning a logic proposed by Prof. Andrzej Grzegorczyk ([11]).
Huuskonen, Taneli
core +30 more sources
Artur Jazdon, Biblioteka Uniwersytecka w Poznaniu 1919–2018. Zasoby. Działania. Ludzie
Biblioteka, 2019 Recenzja. Artur Jazdon, Biblioteka Uniwersytecka w Poznaniu 1919–2018. Zasoby. Działania. Ludzie, Poznań: Biblioteka Uniwersytecka 2019, s. 771.
Jacek Wojciechowski
doaj +3 more sources
Centralna Biblioteka Uniwersytecka Karola I w Bukareszcie
Biblioteka, 2015 W artykule omówione zostały doświadczenia, jakie autorka zdobyła podczas stażu w ramach programu Erasmus w Centralnej Bibliotece Uniwersyteckiej Karola I w Bukareszcie, jednej z najbardziej dotkniętych przez los bibliotek.
Iuliana Grażyńska
doaj +5 more sources
Analiza responsywności stron internetowych polskich bibliotek uniwersyteckich [PDF]
, 2018 The paper presents the results of analysis on eighteen Polish university libraries websites. The subject of study was the website responsiveness regarding the level of their mobile-friendliness in terms of content alignment to mobile devices display ...
Gmiterek, Grzegorz
core +1 more source
Biblioteka, 2009 Badania dotyczące pozyskiwania środków pomocowych przez polskie biblioteki naukowe przeprowadzone zostały w ramach wewnętrznych projektów badawczych Biblioteki Uniwersyteckiej w Poznaniu.
Aldona Chachlikowska +3 more
doaj +1 more source
Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm [PDF]
, 2014 Educational content for abstract reduction systems concerning reduction, convertibility, normal forms, divergence and convergence, Church- Rosser property, term rewriting systems, and the idea of the Knuth-Bendix Completion Algorithm. The theory is based
Bancerek, Grzegorz
core +1 more source
Rosyjskie piśmiennictwo XIX wieku w zbiorach Biblioteki Uniwersyteckiej w Warszawie
Z Badań nad Książką i Księgozbiorami Historycznymi, 2019 Biblioteka Uniwersytecka w Warszawie powstała w 1817 roku. Jej pierwszym dyrektorem został S. B. Linde, wybitny uczony slawista i leksykograf. Biblioteka mimo bardzo poważnego kryzysu wywołanego represjami politycznymi po upadku powstania listopadowego ...
Zbigniew Olczak
doaj +1 more source
Collective Operations on Number-Membered Sets [PDF]
, 2009 The article starts with definitions of sets of opposite and inverse numbers of a given number membered set. Next, collective addition, subtraction, multiplication and division of two sets are defined.
Andrzej Trybulec +4 more
core +2 more sources
Biblioteka, 2007 The article discusses the results of the analysis of the norms and standards for functioning of Poznań University Library and includes a juxtaposition of their mean values with corresponding values in other university libraries obtained during an ...
Hanna Wesołowska -Mis, Artur Jazdon
doaj +1 more source
Z Badań nad Książką i Księgozbiorami Historycznymi, 2017 Konferencja naukowa „Wokół Paula Ladewiga i jego Katechizmu biblioteki”, Bydgoszcz, Uniwersytet Kazimierza Wielkiego, 24-25 IV 2017 r. Zdzisław Gębołyś Katedra Informacji Naukowej i Bibliologii Uniwersytet Kazimierza Wielkiego w Bydgoszczy, Bydgoszcz,
Zdzisław Gębołyś, Marianna Czapnik, Martyna Osuch, Lilia Kowkiel, Agnieszka Franczyk-Cegła, Joanna Milewska-Kozłowska, Bogumiła Celer, Marta M. Kacprzak
doaj +1 more source