Temat: model theory - Prolib Integro

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ę "model theory" wg kryterium: Temat

Wyświetlanie 1-10 z 636

Zaznacz

Skocz do pozycji: 1.

Tytuł:: A note on Lavi’s paper “A Ganzstellensatz for semi-algebraic sets and a boundedness criterion for rational functions”
Autorzy:: Kowalczyk, Tomasz
Data publikacji:: 2018
Słowa kluczowe:: real algebraic geometry
model theory
valuation theory; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: A dichotomy theorem for mono-unary algebras
Autorzy:: Gao, Su
Data publikacji:: 2000
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:: descriptive set theory
countable model theory
admissible set theory; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Institution-independent Ultraproducts
Autorzy:: Diaconescu, R.
Data publikacji:: 2003
Słowa kluczowe:: institutions
model theory
algebraic specification
ultraproducts; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: LOGICAL EXPRESSIVIST’S LOGICAL CONSTANTS
Autorzy:: Pavel Arazim
Tematy:: DEMARCATION
LOGICAL CONSTANTS
LOGICAL EXPRESSIVISM
MODEL THEORY
PROOF-THEORY; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: HINDSIGHT BIAS AND ITS REVERSAL: WHAT WILL TIME REVEAL?
Autorzy:: Matúš Konečný
Viera Bačová
Tematy:: HINDSIGHT BIAS
CAUSAL MODEL THEORY
SENSE MAKING; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Typology emerges from simplicity in representations and learning
Autorzy:: Lambert, Dakotah
Rawski, Jonathan
Heinz, Jeffrey
Data publikacji:: 2021
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:: model theory
subregularity
grammatical inference
formal language theory
phonology
learning
complexity; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Isomorphism as generalization tool (in combinatorics)
Autorzy:: Krpec, Radek
Data publikacji:: 2016
Wydawca:: Polskie Towarzystwo Matematyczne
Tematy:: generic model theory
isolated models
combinatorics
isomorphism
generalization; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: SEMANTICS WITHOUT TOIL? BRADY AND RUSH MEET HALLDEN
Autorzy:: Humberstone Lloyd
Tematy:: NON-CLASSICAL LOGIC
HOMOPHONIC MODEL THEORY
HALLDEN
META-LOGIC; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Typology emerges from simplicity in representations and learning
Autorzy:: Lambert, Dakotah
Rawski, Jonathan
Heinz, Jeffrey
Data publikacji:: 2021
Słowa kluczowe:: model theory
subregularity
grammatical inference
formal language theory
phonology
learning
complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Proving Nets Correct via Cause-Effect Structures (An Experiment)
Autorzy:: Czaja, L.
Data publikacji:: 2003
Słowa kluczowe:: cause-effect structures
Petri net
specification
correctness
model theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 636

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

Informacja

Wyszukujesz frazę "model theory" wg kryterium: Temat