No JavaScript support!
To take full advantage of this digital library, please verify if your browser supports JavaScript.
loading...
Polish English
WstępWstęp
Find similar objects | Add to bibliography
Spis treściSpis treści
Comparing SAT- and SMT- based bounded model checking for ECTL propertiesComparing SAT- and SMT- based bounded model checking for ECTL properties
Some properties of generalized Tribonacci quaternionsSome properties of generalized Tribonacci quaternions
The Concept of Implementation of the Decentralized Application Level Structure for Providers of a Typical Next Generation NetworkThe Concept of Implementation of the Decentralized Application Level Structure for Providers of a Typical Next Generation Network
Some remarks on strong sequencesSome remarks on strong sequences
On F(p, n)-Fibonacci bicomplex numbersOn F(p, n)-Fibonacci bicomplex numbers
Sangaku fan shape problemsSangaku fan shape problems
How Hungarian teachers think about combinatorics and its teachingHow Hungarian teachers think about combinatorics and its teaching
GeoGebra and problems of tangent circlesGeoGebra and problems of tangent circles
An Estimation Method of Traffic Safety Level of Vehicles on a Level CrossingAn Estimation Method of Traffic Safety Level of Vehicles on a Level Crossing