Szałas, Andrzej
Szałas, Andrzej, 1956-
Szałas, Andrzej, 1958-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Andrzej Szałas
VIAF ID: 21368089 (Personal)
Permalink: http://viaf.org/viaf/21368089
Preferred Forms
-
100 0 _
‡a
Andrzej Szałas
-
200 _ | ‡a Szałas ‡b Andrzej
-
100 1 _ ‡a Szałas, Andrzej
-
100 1 _ ‡a Szałas, Andrzej
-
100 1 _
‡a
Szałas, Andrzej
(sparse)
-
100 1 _ ‡a Szałas, Andrzej
-
100 1 _ ‡a Szałas, Andrzej
-
100 1 _ ‡a Szałas, Andrzej ‡d (1956- ).
-
100 1 _
‡a
Szałas, Andrzej
‡d
1958-
-
100 1 _ ‡a Szałas, Andrzej, ‡d 1956-
-
100 1 0
‡a
Szałas, Andrzej,
‡d
1958-
-
100 1 _ ‡a Szałas, Andrzej, ‡d 1958-
-
100 | _
‡a
Szałas, Andrzej,
‡d
1958-....
4xx's: Alternate Name Forms (5)
5xx's: Related Names (8)
- 500 1 _
‡a
Bolc, Leonard
‡d
1934-
- 500 1 _
‡a
Gabbay, Dov M.
‡d
1945-
- 500 1 _
‡a
Orłowska, Ewa
- 500 1 _
‡a
Penczek, Wojciech
- 500 1 _
‡a
Schmidt, Renate A.
- 500 1 _
‡a
Szalas, Andrzej
- 500 1 _
‡a
Szczepańska-Wasersztrum, Danuta
- 500 1 _
‡a
Warpechowska, Jolanta
Works
| Title | Sources |
|---|---|
| Actions in information-rich environments : a paraconsistent approach |
|
| Adaptacyjne metody klasyfikacji obiektów |
|
| Akcje w środowiskach złożonych informacyjnie : podejście parakonsystentne |
|
| Algebraic and relational deductive tools |
|
| Annotation theories over finite graphs |
|
| Computer Aided Knowledge Engineering: komputerowe wspomaganie projektowania bez wiedzy |
|
| Declarative PTIME queries to relational databases |
|
| Discretization of real value attributes : Boolean reasoning approach |
|
| Dyskretyzacja atrybutów o wartościach rzeczywistych : metoda wnioskowania boolowskiego |
|
| Exception handling in parallel computations |
|
| ExpTime tableau decision procedures for regular grammar logics with converse |
|
| Formalizacja logiki domniemań przy użyciu metody CAKE |
|
| Formalna specyfikacja wskaźnikowych struktur danych |
|
| General domain circumscription and its first-order reduction |
|
| Generowanie automatów czasowych dla systemów czasu rzeczywistego |
|
| Knowledge representation techniques : a rough set approach |
|
| Logika systemów wieloagentowych |
|
| Loglan |
|
| Mathematical foundations of computer science 1996 : 21st international symposium, MFCS '96, Cracow, Poland, September 2-6, 1996 : proceedings |
|
| Metody symboliczne i sieci neuronowe w konstrukcji klasyfikatorów |
|
| Modules in type theory with generative definitions |
|
| New query rewriting methods for structured and semi-structured databases |
|
| Nowe metody przepisywania zapytań dla strukturalnych i semi-strukturalnych baz danych |
|
| On distributed processes communications by interrupting signals |
|
| Prace eksperymentalne nad językiem programowania właściwym do tworzenia systemów operacyjnych |
|
| Regularity analysis and its applications in data mining |
|
| Relational calculus with recursion quantifiers |
|
| Relational methods for computer science applications |
|
| Results on modal reasoning with applications to modal deductive databases |
|
| Roczniki Naukowe. |
|
| Rough sets and current trends in computing : 7t International Conference, RSCTC 2010 Warsaw, Poland, June 28-30, 2010 : proceedings |
|
| Rozproszone środowisko programowania obiektowego |
|
| Rozwój aplikacji logik temporalnych w zastosowaniach informatycznych : rozprawa doktorska |
|
| Second-order quantifier elimination : foundations, computational aspects and applications |
|
| Shapley value for games with externalities and games on graphs |
|
| Time and logic : a computational approach |
|
| Voting by eliminating quantifiers |
|
| Wartość Shapleya dla gier z efektami zewnętrznymi i gier na grafach |
|
| Zarys dedukcyjnych metod automatycznego wnioskowania |
|
| Zastosowanie metody eliminacji kwantyfikatorów II rzędu w dedukcyjnych bazach danych |
|
