No JavaScript support!
To take full advantage of this digital library, please verify if your browser supports JavaScript.
loading...
Polish English
Operacja konsekwencji w trójsekwencyjnym rachunku predykatów ŁukasiewiczaOperacja konsekwencji w trójsekwencyjnym rachunku predykatów Łukasiewicza
Find similar objects | Add to bibliography
O zawartości karty ideałów przeliczalnych algebr Boole'aO zawartości karty ideałów przeliczalnych algebr Boole'a
Zanurzenia algebr Heytinga w przestrzenie topologiczneZanurzenia algebr Heytinga w przestrzenie topologiczne
Konstruowalność niezależnych zbiorów generatorów filtrów w algebrach Boole'aKonstruowalność niezależnych zbiorów generatorów filtrów w algebrach Boole'a
Non-local equations in mathematics and physics : theory of non-local elasticityNon-local equations in mathematics and physics : theory of non-local elasticity
Ogólny schemat niezależności w ujęciu algebraicznymOgólny schemat niezależności w ujęciu algebraicznym
Krata podrozmaitości rozmaitości wyznaczonej przez równości pewnej postaci grup abelowych-IKrata podrozmaitości rozmaitości wyznaczonej przez równości pewnej postaci grup abelowych-I
Some applications of the resolution on hypergraphsSome applications of the resolution on hypergraphs
Equational theories of P-compatible varietiesEquational theories of P-compatible varieties
Montague style semantics for illocutionary logicMontague style semantics for illocutionary logic
Metody wnioskowania w systemach ekspertowychMetody wnioskowania w systemach ekspertowych
Trójwartościowa reprezentacja zbiorów przybliżonychTrójwartościowa reprezentacja zbiorów przybliżonych
Free algebras over some varietiesFree algebras over some varieties
Queueing systems with random length demandsQueueing systems with random length demands
Algorytmy genetyczneAlgorytmy genetyczne