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/164)
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
163
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 computer science
40.
logic in society
41.
logic level
42.
logic level and high level BDDs
43.
logic locking
44.
logic machine
45.
logic models
46.
logic models and simulation
47.
logic notation
48.
logic obfuscation
49.
logic of bunched implications
50.
logic of relatives
51.
logic of science
52.
logic of speech acts
53.
logic simulation
54.
logic synthesis
55.
logic teaching
56.
logic-based distributed routing
57.
malicious logic
58.
mathematical logic
59.
modal logic
60.
Natural logic
61.
Peirce's existential graphs and transcendental logic
62.
philosophical logic
63.
philosophy of logic
64.
pragmatic logic
65.
probabilistic relational program logic
66.
programmable logic
67.
programmable logic controller (PLC)
68.
quantitative logic
69.
quantum logic
70.
race logic
71.
reconfigurable logic
72.
routing logic
73.
S4 modal logic
74.
S-D logic
75.
Semi-substructural logic
76.
Service-Dominant logic
77.
stateful logic computation
78.
substructural logic
79.
symbolic knowledge in Husserlian pure logic
80.
symbolic logic
81.
temporal logic
82.
absolute dynamic topography
83.
capital structure dynamic adjustment
84.
computational fluid dynamic
85.
dynamic
86.
dynamic adaptability
87.
dynamic analysis
88.
dynamic behavior
89.
Dynamic blocking
90.
dynamic calculation
91.
dynamic capabilities
92.
dynamic capabilities development
93.
dynamic capability
94.
dynamic charging
95.
dynamic control
96.
dynamic covalent chemistry
97.
dynamic crack
98.
dynamic factor model
99.
dynamic failure
100.
dynamic grounding simulations
101.
dynamic handwriting analysis
102.
dynamic heating curve
103.
dynamic hedge
104.
dynamic hybrid switched systems
105.
dynamic impact
106.
dynamic impedance
107.
dynamic in waves
108.
dynamic interactions
109.
dynamic light scattering
110.
dynamic lighting
111.
dynamic load model
112.
Dynamic loading
113.
dynamic measurement feedback
114.
dynamic model
115.
dynamic modeling
116.
dynamic modelling
117.
dynamic modelling of used vehicles
118.
dynamic models
119.
Dynamic networks
120.
dynamic object
121.
dynamic operation of heating systems
122.
dynamic output feedback
123.
dynamic overset grid
124.
Dynamic Penn efect
125.
dynamic performance compliance
126.
dynamic phase allocation (DPA)
127.
dynamic phasors
128.
dynamic positioning
129.
dynamic probing super heavy (DPSH-A)
130.
dynamic programing
131.
dynamic programming
132.
dynamic QR-code
133.
dynamic quality
134.
dynamic radio frame
135.
dynamic range
136.
dynamic resource management
137.
dynamic response
138.
dynamic shear rheometer
139.
dynamic simulation
140.
dynamic slot allocation (DSA)
141.
dynamic spectrum allocation
142.
dynamic spillovers
143.
dynamic support conditions
144.
dynamic system
145.
dynamic systems
146.
dynamic time warping
147.
dynamic topography
148.
dynamic unbalanced process
149.
dynamic walking
150.
dynamic vibration absorption
151.
dynamic wireless environment
152.
dynamic-link library (DLL)
153.
essential dynamic boundary conditions at joints
154.
large-scale dynamic experiments
155.
linear dynamic equation
156.
mean dynamic topography
157.
nonlinear dynamic system
158.
nonlinear dynamic systems
159.
open-economy dynamic general equilibrium model
160.
quasi-static and dynamic collision simulations
161.
static-dynamic probing test (SDT)
162.
stochastic dynamic programming
163.
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