Konikowska, Beata.
Konikowska, B.
VIAF ID: 48043756 ( Personal )
Permalink: http://viaf.org/viaf/48043756
Preferred Forms
- 100 1 _ ‡a Konikowska, B.
- 100 1 _ ‡a Konikowska, Beata
-
-
-
Works
Title | Sources |
---|---|
An approach to the theory of continuous (analog) computation | |
Encyklopedia nauki i techniki. | |
Encyklopedia powszechna Wydawnictwa Gutenberga | |
Formalizacja pojęcia maszyny analogowej | |
Hutchinson dictionary of science | |
Introduction to automata theory, languages, and computation | |
Maszyny liczące o czasie ciągłym | |
A note on inverted files for binary attributes | |
Proof systems for logics based on non-deterministic multiple - valued structures | |
Proof systems for reasoning about computation errors | |
Properties of continuous machines | |
A query language with conditions of equality and inequality type | |
Răkovodstvo za upražnenija po teorija na verojatnostite | |
Rasiowa-Sikorski deduction systems in computer science applications | |
Reasoning with first-order nondeterministic specifications | |
Rough sets and 3-valued logics | |
Słownik naukowo-techniczny Hutchinsona | |
A theory of information systems | |
A Three-valued logic for software specification and validation | |
Wprowadzenie do teorii automatów, języków i obliczeń | |
Zbiór zadań z rachunku prawdopodobieństwa |