Temat: -completeness - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: On the completeness of decomposable properties of graphs
Autorzy:: Hałuszczak, Mariusz
Vateha, Pavol
Data publikacji:: 1999
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: decomposition
hereditary property
completeness
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Pointwise completeness and pointwise degeneracy of 2D standard and positive Fornasini-Marchesini models with state-feedbacks
Autorzy:: Kaczorek, T.
Data publikacji:: 2011
Wydawca:: Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:: pointwise completeness
standard
state-feedbacks
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: The pragmatics of casual dialogue
Autorzy:: Warchala, Jacek
Data publikacji:: 2015
Wydawca:: Wydawnictwo Uniwersytetu Śląskiego
Tematy:: casual dialogue
coherence
completeness
extralinguistic factors
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: The pointwise completeness and the pointwise degeneracy of fractional descriptor discrete-time linear systems
Autorzy:: Kaczorek, T.
Data publikacji:: 2019
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: fractional
descriptor
pointwise completeness
pointwise degeneracy
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Carathéodory completeness on the plane
Autorzy:: Edigarian, Armen
Data publikacji:: 2019
Wydawca:: Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:: Carathéodory distance
completeness
Melnikov's theorem
peak function
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: NP-completeness of weakly convex and convex dominating set decision problems
Autorzy:: Raczek, J.
Data publikacji:: 2004
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: dominating set
NP-completeness
distance
convex set
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Regularity, pointwise completeness and pointwise generacy of descriptor linear electrical circuits
Autorzy:: Kaczorek, T.
Data publikacji:: 2014
Wydawca:: Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:: regularity
pointwise completeness
pointwise generacy
descriptor electrical circuits
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Balanced problems on graphs with categorization of edges
Autorzy:: Berežný, Štefan
Lacko, Vladimír
Data publikacji:: 2003
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: algorithms on graphs
categorization of edges
NP-completeness
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: On some properties of Musielak-Orlicz sequence spaces
Autorzy:: Shragin, Isaac V.
Data publikacji:: 2008
Wydawca:: Polskie Towarzystwo Matematyczne
Tematy:: normal pregenfunction
Musielak-Orlicz sequence space
completeness
separability
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Pointwise completeness and pointwise degeneracy of linear continuous-time fractional order systems
Autorzy:: Kaczorek, T.
Busłowicz, M.
Data publikacji:: 2009
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: linear system
fractional
continuous-time
positive
pointwise completeness
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Analysis of the regularity, pointwise completeness and pointwise generacy of descriptor linear electrical circuits
Autorzy:: Kaczorek, T.
Data publikacji:: 2014
Wydawca:: Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:: regularity
pointwise completeness
pointwise generacy
descriptor electrical circuits
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Iterated neighborhood graphs
Autorzy:: Sonntag, Martin
Teichert, Hanns-Martin
Data publikacji:: 2012
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: neighborhood graph
2-step graph
neighborhood completeness number
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Pointwise completeness and pointwise degeneracy of standard and positive linear systems with state-feedbacks
Autorzy:: Kaczorek, T.
Data publikacji:: 2010
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: pointwise completeness
pointwise degeneracy
positive linear systems
state-feedbacks
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Pointwise completeness and pointwise degeneracy of standard and positive hybrid linear systems described by the general model
Autorzy:: Kaczorek, T.
Data publikacji:: 2010
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: pointwise completeness
degeneracy
standard
positive
general model
hybrid systems
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Completeness, Categoricity and Imaginary Numbers: The Debate on Husserl
Autorzy:: Aranda, Víctor
Data publikacji:: 2020
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Husserl
completeness
categoricity
relative and absolute definiteness
imaginary numbers
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Problems remaining NP-complete for sparse or dense graphs
Autorzy:: Schiermeyer, Ingo
Data publikacji:: 1995
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: Computational Complexity
NP-Completeness
Hamiltonian Circuit
Hamiltonian Path
Independent Set
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: A Note on Polynomial Algorithm for Cost Coloring of Bipartite Graphs with Δ ≤ 4
Autorzy:: Giaro, Krzysztof
Kubale, Marek
Data publikacji:: 2020-08-01
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: bipartite graph
chromatic sum
cost coloring
NP-completeness
polynomial algorithm
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Efficient list cost coloring of vertices and/or edges of bounded cyclicity graphs
Autorzy:: Giaro, Krzysztof
Kubale, Marek
Data publikacji:: 2009
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: cost coloring
dynamic programming
list coloring
NP-completeness
polynomial-time algorithm
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: An Arithmetically Complete Predicate Modal Logic
Autorzy:: Hao, Yunge
Tourlakis, George
Data publikacji:: 2021-08-23
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Predicate modal logic
arithmetic completeness
logic GL
Solovay's theorem
equational proofs
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: A Post-style proof of completeness theorem for symmetric relatedness Logic S
Autorzy:: Klonowski, Mateusz
Data publikacji:: 2018
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: normal forms
Post-style proof of completeness
relatedness logic
relating logic
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic
Autorzy:: Witczak, Tomasz
Data publikacji:: 2019
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: intuitionistic modal logic
neighbourhood semantics
topological semantics
Kripke frames
soundness and completeness
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Isomorphisms of direct products of lattice-ordered groups
Autorzy:: Jakubík, Ján
Data publikacji:: 2004
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: Lattice-ordered group
direct product
Specker lattice-ordered group
orthogonal σ-completeness
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Koncepcja androgyna w utworze Mój księżycowy przyjaciel (Мой лунный друг) Zinaidy Gippius
The concept of androgyny in Zinaida Gippius’s My moon friend
Autorzy:: Okroj, Kinga
Data publikacji:: 2016
Wydawca:: Fundacja Pro Scientia Publica
Tematy:: Błok, Gippius, modernizm, androgyne, pełnia, doskonałość
Blok, Gippius, modernism, androgyny, completeness, perfection
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Identity, Equality, Nameability and Completeness
Autorzy:: Manzano, María
Moreno, Manuel Crescencio
Data publikacji:: 2017
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: first-order logic
type theory
identity
equality
indiscernibility
comprehension
completeness
translations
nameability
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: On Incidence Coloring of Complete Multipartite and Semicubic Bipartite Graphs
Autorzy:: Janczewski, Robert
Małafiejski, Michał
Małafiejska, Anna
Data publikacji:: 2018-02-01
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: incidence coloring
complete multipartite graphs
semicubic graphs
subcubic graphs
-completeness
L (1,1)-labelling
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Pointwise completeness and pointwise degeneracy of standard and positive Roesser models
Punktowa zupełność i punktowa degeneracja standardowych i dodatnich modeli Roessera
Autorzy:: Kaczorek, T.
Data publikacji:: 2010
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: punktowa zupełność
punktowa degeneracja
dodatni model Roessera
pointwise completeness
pointwise degeneracy
positive Roesser model
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Pure Infinitely Self-Modifying Code is Realizable and Turing-complete
Autorzy:: Morse, G.
Data publikacji:: 2018
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: x86
x86-64
assembly language
self-modifying code
turing completeness
code obfuscation
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: On the Complexity of the 3-Kernel Problem in Some Classes of Digraphs
Autorzy:: Hell, Pavol
Hernández-Cruz, César
Data publikacji:: 2014-02-01
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: kernel
3-kernel
NP-completeness
multipartite tournament
cyclically 3-partite digraphs
k-quasi-transitive digraph
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: On absolute retracts and absolute convex retracts in some classes of l-groups
Autorzy:: Jakubík, Ján
Data publikacji:: 2003
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: l-group
absolute retract
absolute convex retract
archimedean l-group
complete l-group
orthogonal completeness
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: Względna punktowa zupełność dodatnich układów ciągło-dyskretnych niecałkowitego rzędu
Relative pointwise completeness of positive continuous-discrete time fractional order systems
Autorzy:: Trzasko, W.
Data publikacji:: 2011
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: dodatnie liniowe układy ciągło-dyskretne
punktowa zupełność
positive linear continuous-discrete time systems
pointwise completeness
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: Functional Completeness in CPL via Correspondence Analysis
Autorzy:: Leszczyńska-Jasion, Dorota
Petrukhin, Yaroslav
Shangin, Vasilyi
Jukiewicz, Marcin
Data publikacji:: 2019
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: correspondence analysis
invertible rules
classical propositional logic
functional completeness
sequent calculus
automated deduction
automated rules generation
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: Application of the Drazin inverse to the analysis of pointwise completeness and pointwise degeneracy of descriptor fractional linear continuous-time systems
Autorzy:: Kaczorek, Tadeusz
Ruszewski, Andrzej
Data publikacji:: 2020
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: pointwise completeness
pointwise degeneracy
fractional system
descriptor system
zupełność punktowa
degeneracja punktowa
system ułamkowy
system deskryptorowy
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: Punktowa zupełność oraz punktowa degeneracja wybranej klasy układów dyskretnych singularnych niecałkowitego rzędu
Pointwise completeness and pointwise degeneracy of selected class of singular linear discrete-time systems
Autorzy:: Kociszewski, R.
Data publikacji:: 2016
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: punktowa zupełność
punktowa degeneracja
rząd niecałkowity
układ singularny
pointwise completeness
pointwise degeneracy
fractional order
singular system
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: Użyteczność danych o lasach udostępnianych w serwisie OpenStreetMap
Usability of the OpenStreetMap forest data
Autorzy:: Bielecka, E.
Leszczyńska, M.
Data publikacji:: 2018
Wydawca:: Polskie Towarzystwo Leśne
Tematy:: lesnictwo
lasy
zrodla danych
serwis OpenStreetMap
kompletnosc danych
wiarygodnosc
forest
osm
spatial data quality
completeness
location accuracy
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Punktowa zupełność i degeneracja określonej klasy dynamicznych układów ciągło-dyskretnych
Pointwise completeness and pointwise degeneracy of a specified class of continuous-discrete time dynamical systems
Autorzy:: Kociszewski, R.
Data publikacji:: 2011
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: punktowa zupełność
punktowa degeneracja
dynamiczne układy ciągło-dyskretne
pointwise completeness
pointwise degeneracy
continuous-discrete time dynamical systems
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: Jakość danych OpenStreetMap – analiza informacji o budynkach na terenie Siedlecczyzny
OpenStreetMap building data quality: the Siedleckie county study
Autorzy:: Nowak-DaCosta, J.
Bielecka, E.
Całka, B.
Data publikacji:: 2016
Wydawca:: Polskie Towarzystwo Informacji Przestrzennej
Tematy:: jakość danych
OSM
VGI
kompletność
dokładność położenia
OpenStreetMap
building data
Volunteered Geographic Information (VGI)
completeness
data quality
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: Identity, equality, nameability and completeness. Part II
Autorzy:: Manzano, María
Moreno, Manuel Crescencio
Data publikacji:: 2018
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: identity
equality
completeness
nameability
first-order modal logic
hybrid logic
hybrid type theory
equational hybrid propositional type theory
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: Pointwise completeness and pointwise degeneracy of fractional standard and descriptor linear continuous-time systems with different fractional orders
Autorzy:: Kaczorek, Tadeusz
Sajewski, Łukasz
Data publikacji:: 2020
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: descriptor system
fractional system
noncommensurate order
pointwise completeness
pointwise degeneracy
system deskryptorowy
system ułamkowy
zupełność punktowa
degeneracja punktowa
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: Pointwise completeness and pointwise degeneracy of fractional descriptor continuous-time linear systems with regular pencils
Autorzy:: Kaczorek, T.
Data publikacji:: 2015
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: pointwise completeness
pointwise degeneracy
descriptor
fractional
continuous-time
linear
system
punktowa kompletność
punktowa degeneracja
deskryptor
czas ciągły
liniowość
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: A note on hardness of multiprocessor scheduling with scheduling solution space tree
Autorzy:: Dwibedy, Debasis
Mohanty, Rakesh
Data publikacji:: 2023
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: combinatorial structures
computational complexity
hardness
makespan
multiprocessor scheduling
multiuser
NP-completeness
nondeterministic algorithms
reduction
scheduling solution space tree
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:: Equitable Colorings Of Corona Multiproducts Of Graphs
Autorzy:: Furmánczyk, Hanna
Kubale, Marek
Mkrtchyan, Vahan V.
Data publikacji:: 2017-11-27
Wydawca:: Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:: corona graph
equitable chromatic number
equitable coloring conjecture
equitable graph coloring
multiproduct of graphs
NP-completeness
polynomial algorithm
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: The Structure of a Person as the Basis for Determining the Common Good as Understood by Mieczysław A. Krąpiec
Autorzy:: Ragan, Gabriel
Data publikacji:: 2019-06-30
Wydawca:: International Étienne Gilson Society
Tematy:: Mieczysław A. Krąpiec
man
person
common good
intellectual knowledge
will
good
love
religion
personal dignity
ontic completeness
legal subjectivity
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: The smallest hard-to-color graphs for the classical, total and strong colorings of vertices
Autorzy:: Kubale, M.
Manuszewski, K.
Data publikacji:: 1999
Wydawca:: Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:: optymalizacja
teoria grafów
złożoność obliczeniowa
benchmark
chromatic number
chromatic sum
graph oring
hard-to-color graph
NP-completeness
strong coloring
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: Pointwise completeness and pointwise degeneracy of positive fractional descriptor continuous-time linear systems with regular pencils
Autorzy:: Kaczorek, T.
Data publikacji:: 2015
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: pointwise completeness
pointwise degeneracy
descriptor system
fractional system
positive system
zupełność punktowa
degeneracja punktowa
układ deskrypcyjny
układ ułamkowy
system dodatni
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs
Autorzy:: Tourlakis, George
Data publikacji:: 2016
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Modal logic
GL
first-order logic
proof theory
cut elimination
reflection property
disjunction property
quantified modal logic
QGL
arithmetical completeness
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:: „Chłop polski w Europie i Ameryce” a brak kwestii przywództwa etnicznego
The Polish Peasant in Europe and America and the missing ethnic leaders
Autorzy:: Mucha, Janusz
Data publikacji:: 2019
Wydawca:: Łódzkie Towarzystwo Naukowe
Tematy:: strumienie migracji, struktura klasowa, chłopi, przywództwo, społeczności migranckie, kompletność instytucjonalna
migration flows, class structure, peasants, leadership, migrant communities, institutional completeness
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:: Algorytm sprawdzania kompletności danych w procesie ich wymiany między systemami informatycznymi przedsiębiorstw produkcyjnych z uwzględnieniem analizy składniowej
Data completeness veriecation algorithm in the process of its exchange between production enterprise systems with syntax analysis included
Autorzy:: Pękala, J.
Data publikacji:: 2013
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: algorytm sprawdzania kompletności danych
transformacja danych
wymiana danych
analiza składniowa
data completeness verincation algorithm
data transformation
data exchange
syntax analysis
Dostawca treści:: Biblioteka Nauki