Suchergebnisse - Konikowska, Beata

  • Treffer 1 – 12 von 12
Treffer filtern
  1. 1
    Buchumschlag

    Reasoning with nondeterministic specifications
    von Białasik, Marcin, Konikowska, Beata

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    A three-valued logic for software specification and validation
    von Konikowska, Beata, Tarlecki, Andrzej, Blikle, Andrzej 1939-

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Proof systems for logics: based on non-deterministic multiple-valued structures
    von Avron, Arnon, Konikowska, Beata

    Veröffentlicht 2004
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Rasiowa-Sikorski deduction systems in computer science applications
    von Konikowska, Beata

    Veröffentlicht 2000
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Reasoning with first-order nondeterministic specifications
    von Białasik, Marcin, Konikowska, Beata

    Veröffentlicht 1997
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Information systems: on queries containing k-ary descriptors
    von Konikowska, Beata

    Veröffentlicht 1982
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    A query language with conditions of equality and inequality type
    von Konikowska, Beata

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    A theory of information systems
    von Konikowska, Beata, Me̜żyńska, Ewa, Sendova, Evgenija

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Constrained continuous information systems
    von Konikowska, Beata

    Veröffentlicht 1978
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    A note on inverted files for binary attributes
    von Konikowska, Beata, Lipski, Witold

    Veröffentlicht 1978
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Continuous information systems
    von Konikowska, Beata

    Veröffentlicht 1977
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Maszyny liczące o czasie ciągłym
    von Konikowska, Beata

    Veröffentlicht 1973
    Hochschulschrift/Dissertation Buch


    Gespeichert in:

Suchwerkzeuge: