Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Liitotsing
Valitud kirjed
0
dynamic logic (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
1
Vaata veel..
(2/145)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Let us investigate! Dynamic conjecture-making as the formal logic of abduction
Ma, Minghui
;
Pietarinen, Ahti-Veikko
Journal of philosophical logic
2018
/
[33] p. : ill
https://doi.org/10.1007/s10992-017-9454-x
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
144
1.
dynamic logic
2.
logic and philosophy of logic
3.
algebra of logic
4.
binary logic controller
5.
Boolean logic
6.
default logic
7.
diagrammatic logic
8.
digital logic
9.
epistemic logic
10.
formal logic
11.
fuzzy logic
12.
fuzzy logic
13.
fuzzy logic control
14.
fuzzy logic controller
15.
fuzzy logic controller (FLC)
16.
fuzzy logic model
17.
graphical method of logic
18.
history of logic
19.
Hoare logic
20.
Husserl and Pierce on logic of probability
21.
independence-friendly logic
22.
intuitionistic logic
23.
linear logic
24.
logic
25.
logic built-in self-test
26.
logic cell library
27.
logic circuit
28.
logic design
29.
logic diagram
30.
logic diagrams
31.
logic education
32.
logic for pragmatics
33.
logic gates
34.
logic in computer science
35.
logic in society
36.
logic level
37.
logic level and high level BDDs
38.
logic locking
39.
logic models
40.
logic models and simulation
41.
logic notation
42.
logic obfuscation
43.
logic of bunched implications
44.
logic of relatives
45.
logic of speech acts
46.
logic simulation
47.
logic synthesis
48.
logic teaching
49.
logic-based distributed routing
50.
malicious logic
51.
mathematical logic
52.
modal logic
53.
Natural logic
54.
Peirce's existential graphs and transcendental logic
55.
philosophical logic
56.
philosophy of logic
57.
pragmatic logic
58.
programmable logic
59.
quantitative logic
60.
quantum logic
61.
race logic
62.
reconfigurable logic
63.
routing logic
64.
S4 modal logic
65.
S-D logic
66.
Service-Dominant logic
67.
stateful logic computation
68.
symbolic knowledge in Husserlian pure logic
69.
symbolic logic
70.
temporal logic
71.
absolute dynamic topography
72.
capital structure dynamic adjustment
73.
computational fluid dynamic
74.
dynamic
75.
dynamic adaptability
76.
dynamic analysis
77.
dynamic behavior
78.
Dynamic blocking
79.
dynamic calculation
80.
dynamic capabilities
81.
dynamic capabilities development
82.
dynamic capability
83.
dynamic charging
84.
dynamic control
85.
dynamic covalent chemistry
86.
dynamic crack
87.
dynamic factor model
88.
dynamic failure
89.
dynamic grounding simulations
90.
dynamic heating curve
91.
dynamic hedge
92.
dynamic hybrid switched systems
93.
dynamic impact
94.
dynamic impedance
95.
dynamic in waves
96.
dynamic interactions
97.
dynamic light scattering
98.
dynamic lighting
99.
dynamic measurement feedback
100.
dynamic model
101.
dynamic modeling
102.
dynamic modelling of used vehicles
103.
dynamic models
104.
Dynamic networks
105.
dynamic object
106.
dynamic operation of heating systems
107.
dynamic output feedback
108.
dynamic overset grid
109.
Dynamic Penn efect
110.
dynamic performance compliance
111.
dynamic phase allocation (DPA)
112.
dynamic phasors
113.
dynamic probing super heavy (DPSH-A)
114.
dynamic programing
115.
dynamic programming
116.
dynamic quality
117.
dynamic radio frame
118.
dynamic range
119.
dynamic resource management
120.
dynamic response
121.
dynamic shear rheometer
122.
dynamic simulation
123.
dynamic slot allocation (DSA)
124.
dynamic spectrum allocation
125.
dynamic spillovers
126.
dynamic support conditions
127.
dynamic systems
128.
dynamic time warping
129.
dynamic topography
130.
dynamic unbalanced process
131.
dynamic walking
132.
dynamic vibration absorption
133.
dynamic-link library (DLL)
134.
essential dynamic boundary conditions at joints
135.
large-scale dynamic experiments
136.
linear dynamic equation
137.
mean dynamic topography
138.
nonlinear dynamic system
139.
nonlinear dynamic systems
140.
open-economy dynamic general equilibrium model
141.
quasi-static and dynamic collision simulations
142.
static-dynamic probing test (SDT)
143.
stochastic dynamic programming
144.
vehicle dynamic systems
märksõna
1
1.
International Association for Management Development in Dynamic Societies
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT