No JavaScript support!
To take full advantage of this digital library, please verify if your browser supports JavaScript.
loading...
Polish English
On Associative Rational FunctionsOn Associative Rational Functions
Find similar objects | Add to bibliography
W - irreducible LatticesW - irreducible Lattices
Sublinear Functionals and Weak* - compactnessSublinear Functionals and Weak* - compactness
Some Applications of Cellular Automata in Learning Systems ConstructionsSome Applications of Cellular Automata in Learning Systems Constructions
Generalized Integral Means Preserving Convexity of Higher OrdersGeneralized Integral Means Preserving Convexity of Higher Orders
About Two Different Ways of Characterization of Łukasiewicz's Three-valued Modal Propositional CalculusAbout Two Different Ways of Characterization of Łukasiewicz's Three-valued Modal Propositional Calculus
Some Propositional Calculus Oppositional with Respect to the Intuitionistic Propositional CalculusSome Propositional Calculus Oppositional with Respect to the Intuitionistic Propositional Calculus
Calculation of Functionals Based on Large Dimension Matrixes in Maximal Likelihood ProblemsCalculation of Functionals Based on Large Dimension Matrixes in Maximal Likelihood Problems
A State Transition Model for Honest Executions of Authentication ProtocolsA State Transition Model for Honest Executions of Authentication Protocols
Queueing Systems with Common Memory SpaceQueueing Systems with Common Memory Space
WstępWstęp
On Some Special Morphisms Between Groups and AlgebrasOn Some Special Morphisms Between Groups and Algebras
About Various Methods of Calculating the Sum [...]About Various Methods of Calculating the Sum [...]
Formalization of the Sentential Logic Dual to Łukasiewicz's Three-valued LogicFormalization of the Sentential Logic Dual to Łukasiewicz's Three-valued Logic
Verifying Untimed Version of the WMF Protocol Using Networks of AutomataVerifying Untimed Version of the WMF Protocol Using Networks of Automata