Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""Axiomatization"" wg kryterium: Temat


Tytuł:
Report on “Axiomatizing Conditional Normative Reasoning”
Autorzy:
Parent, XavierAff1, IDs13218024008321_cor1
Pokaż więcej
Źródło:
KI - Künstliche Intelligenz: German Journal of Artificial Intelligence - Organ des Fachbereichs "Künstliche Intelligenz" der Gesellschaft für Informatik e.V.. :1-5
Czasopismo naukowe
Tytuł:
Several L-fuzzy variable precision rough sets and their axiomatic characterizations
Autorzy:
Jin, Qiu
Li, Ling-QiangAff1, IDs00500023091839_cor2
Pokaż więcej
Źródło:
Soft Computing: A Fusion of Foundations, Methodologies and Applications. 27(22):16429-16448
Czasopismo naukowe
Tytuł:
The Cardinal Squaring Principle and an Alternative Axiomatization of NFU
Autorzy:
Tin Adlešić
Vedran Čačić
Pokaż więcej
Temat:
quine's new foundations
cardinal multiplication
axiomatization
Logic
BC1-199
Źródło:
Bulletin of the Section of Logic, Vol 52, Iss 4, Pp 551-581 (2023)
Opis pliku:
electronic resource
Relacje:
https://czasopisma.uni.lodz.pl/bulletin/article/view/14771; https://doaj.org/toc/0138-0680; https://doaj.org/toc/2449-836X
Dostęp URL:
https://doaj.org/article/02ad572bc5b04b83bed4518d27bf9706  Link otwiera się w nowym oknie
Czasopismo naukowe
Tytuł:
Asset Management Value Oriented Nanjing Metro Asset Information System Construction
Autorzy:
Hao HONG
Shiwei SU
Jichuan GAO
Jie LI
Mingyue ZHOU
Pokaż więcej
Temat:
urban rail transit
asset management value
axiomatization design theory
asset information system
Transportation engineering
TA1001-1280
Źródło:
Chengshi guidao jiaotong yanjiu, Vol 27, Iss 1, Pp 248-253,259 (2024)
Opis pliku:
electronic resource
Relacje:
https://doaj.org/toc/1007-869X
Dostęp URL:
https://doaj.org/article/41de316d9d0044eb966f2251dcb30a8d  Link otwiera się w nowym oknie
Czasopismo naukowe
Tytuł:
Simplifying the axiomatization for ordered affine geometry via a theorem prover
Autorzy:
Li, DafaAff1, IDs00022023006719_cor1
Pokaż więcej
Źródło:
Journal of Geometry. 114(2)
Czasopismo naukowe
Tytuł:
The General Compromise Value for Cooperative Games With Transferable Utility
Autorzy:
Sun, PanfeiAff1, IDs1142402311593_cor1
Hou, DongshuangAff1, IDs1142402311593_cor2
Sun, HaoAff1, IDs1142402311593_cor3
Pokaż więcej
Źródło:
Journal of Systems Science and Complexity. 36(1):375-392
Czasopismo naukowe
Tytuł:
Mathematical Objectivity and Husserl’s “Community of Monads”
Autorzy:
Cohen, NoamAff1, IDs1051602209648w_cor1
Pokaż więcej
Źródło:
Axiomathes: Global Philosophy. 32(Suppl 3):971-991
Czasopismo naukowe
Tytuł:
Optimization implementation of solution concepts for cooperative games with stochastic payoffs
Autorzy:
Sun, PanfeiAff1, IDs11238022098650_cor1
Hou, Dongshuang
Sun, Hao
Pokaż więcej
Źródło:
Theory and Decision: An International Journal for Multidisciplinary Advances in Decision Science. 93(4):691-724
Czasopismo naukowe
Tytuł:
Hyperplane games, prize games and NTU values
Autorzy:
Yu, ChaowenAff1, IDs11238021098469_cor1
Pokaż więcej
Źródło:
Theory and Decision: An International Journal for Multidisciplinary Advances in Decision Science. 93(2):359-370
Czasopismo naukowe
Tytuł:
Completeness theorems for ∃□-bundled fragment of first-order modal logic
Autorzy:
Wang, XunAff1, IDs11229023041047_cor1
Pokaż więcej
Źródło:
Synthese: An International Journal for Epistemology, Methodology and Philosophy of Science. 201(4)
Czasopismo naukowe

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies