Wyniki
-
Total correctness in nonstandard dynamic logic
Ildiko Sain
Bulletin of the Section of Logic , 12 /2 (1983) s. 64-70 -
On finitizing first order logic
Ildiko Sain
Bulletin of the Section of Logic , 23 /2 (1994) s. 66-79 -
Amalgamation, epimorphisms and definability properties in algebraic logic
Ildiko Sain
Bulletin of the Section of Logic , 18 /2 (1989) s. 72-78 -
Computer sciences temporal logics need their clocks
Ildiko Sain
Bulletin of the Section of Logic , 18 /4 (1989) s. 153-160 -
Fork algebras in usual and in non-well-founded set theories : part I
Ildiko Sain, Istvan Nemeti
Bulletin of the Section of Logic , 24 /3 (1995) s. 158-168 -
Fork algebras in usual and in non-well-founded set theories : part II
Ildiko Sain, Istvan Nemeti
Bulletin of the Section of Logic , 24 /4 (1995) s. 182-192 -
Program verification within and without logic
Hajnal Andreka, Istvan Nemeti, Ildiko Sain
Bulletin of the Section of Logic , 8 /3 (1979) s. 124-129 -
Complexity of equational theory of relational algebras with projection elements
Szabolcs Mikulas, Ildiko Sain, Andras Simon
Bulletin of the Section of Logic , 21 /3 (1992) s. 103-111 -
The creators of a concept for small regional rural development
Ildiko Nagy Kalamász
Eastern European Countryside /9 (2003) s. 159-167 -
Možnosti využitia prostriedkov virtuálneho sveta vo vzdelávaní
Ildiko Psenakova, Igor Baganj
Edukacja - Technika - Informatyka /1(15) (2016) s. 212-218 -
Interaktívna tabuľa vo vzdelávaní budúcich pedagógov
Ildiko Psenakova, Roman Horvath, Tibor Szabo
Edukacja - Technika - Informatyka /1(15) (2016) s. 224-229
Zawęź wyniki
Czasopismo:
- Bulletin of the Section of Logic (8)
- Edukacja - Technika - Informatyka (2)
- Eastern European Countryside (1)
- Lublin Studies in Modern Languages and Literature (1)
Autor:
- Ildiko Sain (6)
- Istvan Nemeti (3)
- Ildiko Sain (2)
- Ildiko Psenakova (2)
- Andras Simon (1)
- Igor Baganj (1)
- Roman Horvath (1)
- Tibor Szabo (1)
- Hajnal Andreka (1)
- Ildiko Csajbok-Twerefou (1)
- Ildiko Nagy Kalamász (1)
- Szabolcs Mikulas (1)
Subskrybuj wyniki
Polish History