Wczytuję…
Wczytuję…
34 dzieła w katalogach bibliotek
Wyników: 34
Systemy Herbranda dowodzenia twierdzeń rachunku predykatów
Ewa Orłowska
1976 · 1 wydanie · polski
10bibliotek
Theorem-proving systems
Ewa Orłowska
1973 · 2 wydania · angielski
7bibliotek
Semantic considerations on relevance
Ewa Orłowska
1986 · 2 wydania · angielski
4biblioteki
Representation of temporal information
Ewa Orłowska
1982 · 2 wydania · polski, angielski
3biblioteki
Representation of nondeterministic information
Ewa Orłowska
1981 · 2 wydania · angielski
3biblioteki
Logic of vague concepts
Ewa Orłowska
1982 · 2 wydania · angielski
3biblioteki
Semantics of vague concepts
Ewa Orłowska
1982 · 2 wydania · angielski
3biblioteki
Kripke models with relative accessibility
Ewa Orłowska
1985 · 2 wydania · angielski
3biblioteki
Measurement and indiscernibility
Ewa Orłowska
1983 · 2 wydania · angielski
3biblioteki
Dependency of attributes in information systems
Ewa Orłowska
1980 · 2 wydania · angielski
3biblioteki
The Montague formalization of natural language
Ewa Orłowska
1984 · 2 wydania · angielski
3biblioteki
Mechanical reasoning in fuzzy logics
Ewa Orłowska
1984 · 2 wydania · angielski
3biblioteki
Logic of nondeterministic information
Ewa Orłowska
1984 · 2 wydania · angielski
3biblioteki
Logical foundations of knowledge representation. P
Ewa Orłowska
1984 · 1 wydanie · angielski
3biblioteki
Representation of vague information
Ewa Orłowska
1983 · 2 wydania · angielski
3biblioteki
Mechanical proof methods for Post logics
Ewa Orłowska
1984 · 2 wydania · angielski
3biblioteki
Dynamic information systems
Ewa Orłowska
1981 · 2 wydania · angielski
3biblioteki
Program logic with quantifiable propositional variables
Ewa Orłowska
1980 · 2 wydania · angielski
3biblioteki
Logic approach to information systems
Ewa Orłowska
1981 · 2 wydania · angielski
3biblioteki
Logic for reasoning about knowledge
Ewa Orłowska
1986 · 2 wydania · angielski
3biblioteki