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
Otsing
Valitud kirjed
0
dynamic logic (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
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/174)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT 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
173
1.
dynamic logic
2.
logic and philosophy of logic
3.
algebra of logic
4.
binary logic controller
5.
Boolean logic
6.
Compound logic locking
7.
Compound logic locking (CLL)
8.
constructive logic
9.
default logic
10.
diagrammatic logic
11.
digital logic
12.
epistemic logic
13.
ethics and logic
14.
formal logic
15.
fuzzy logic
16.
fuzzy logic
17.
fuzzy logic control
18.
fuzzy logic controller
19.
fuzzy logic controller (FLC)
20.
fuzzy logic model
21.
graphical method of logic
22.
history of logic
23.
Hoare logic
24.
Husserl and Pierce on logic of probability
25.
independence-friendly logic
26.
Inductive logic programming
27.
intuitionistic logic
28.
linear logic
29.
logic
30.
logic built-in self-test
31.
logic cell library
32.
logic circuit
33.
logic design
34.
logic diagram
35.
logic diagrams
36.
logic education
37.
logic for pragmatics
38.
logic gates
39.
logic in AI
40.
logic in computer science
41.
logic in society
42.
logic level
43.
logic level and high level BDDs
44.
logic locking
45.
logic machine
46.
logic models
47.
logic models and simulation
48.
logic notation
49.
logic obfuscation
50.
logic of bunched implications
51.
logic of relatives
52.
logic of science
53.
logic of speech acts
54.
logic simulation
55.
logic synthesis
56.
logic teaching
57.
logic-based distributed routing
58.
malicious logic
59.
mathematical logic
60.
modal logic
61.
Natural logic
62.
Peirce's existential graphs and transcendental logic
63.
philosophical logic
64.
philosophy of logic
65.
pragmatic logic
66.
probabilistic relational program logic
67.
programmable logic
68.
programmable logic controller (PLC)
69.
quantitative logic
70.
quantum logic
71.
race logic
72.
reconfigurable logic
73.
routing logic
74.
S4 modal logic
75.
S-D logic
76.
Semi-substructural logic
77.
Service-Dominant logic
78.
stateful logic computation
79.
substructural logic
80.
symbolic knowledge in Husserlian pure logic
81.
symbolic logic
82.
temporal logic
83.
absolute dynamic topography
84.
advanced dynamic control
85.
capital structure dynamic adjustment
86.
computational fluid dynamic
87.
dynamic
88.
dynamic adaptability
89.
dynamic analysis
90.
dynamic behavior
91.
dynamic bending
92.
Dynamic blocking
93.
dynamic building envelope
94.
dynamic calculation
95.
dynamic capabilities
96.
dynamic capabilities development
97.
dynamic capability
98.
dynamic charging
99.
dynamic consent
100.
dynamic control
101.
dynamic covalent chemistry
102.
dynamic crack
103.
dynamic devic
104.
dynamic factor model
105.
dynamic failure
106.
dynamic grounding simulations
107.
dynamic handwriting analysis
108.
dynamic heating curve
109.
dynamic hedge
110.
dynamic hybrid switched systems
111.
dynamic impact
112.
dynamic impedance
113.
dynamic in waves
114.
dynamic interactions
115.
dynamic light scattering
116.
dynamic lighting
117.
dynamic load model
118.
Dynamic loading
119.
dynamic loads
120.
dynamic measurement feedback
121.
dynamic model
122.
dynamic modeling
123.
dynamic modelling
124.
dynamic modelling of used vehicles
125.
dynamic models
126.
Dynamic networks
127.
dynamic object
128.
dynamic operation of heating systems
129.
dynamic output feedback
130.
dynamic overset grid
131.
Dynamic Penn efect
132.
dynamic performance
133.
dynamic performance compliance
134.
dynamic phase allocation (DPA)
135.
dynamic phasors
136.
dynamic population presence
137.
dynamic positioning
138.
dynamic probing super heavy (DPSH-A)
139.
dynamic programing
140.
dynamic programming
141.
dynamic QR-code
142.
dynamic quality
143.
dynamic radio frame
144.
dynamic range
145.
dynamic resource management
146.
dynamic response
147.
dynamic shear rheometer
148.
dynamic simulation
149.
dynamic slot allocation (DSA)
150.
dynamic spectrum allocation
151.
dynamic spillovers
152.
dynamic support conditions
153.
dynamic system
154.
dynamic systems
155.
dynamic time warping
156.
dynamic time warping (DTW)
157.
dynamic topography
158.
dynamic unbalanced process
159.
dynamic walking
160.
dynamic vibration absorption
161.
dynamic wireless environment
162.
dynamic-link library (DLL)
163.
essential dynamic boundary conditions at joints
164.
large-scale dynamic experiments
165.
linear dynamic equation
166.
mean dynamic topography
167.
nonlinear dynamic system
168.
nonlinear dynamic systems
169.
open-economy dynamic general equilibrium model
170.
quasi-static and dynamic collision simulations
171.
static-dynamic probing test (SDT)
172.
stochastic dynamic programming
173.
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