Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
a coherent theory of proofs (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(1/174)
Export
export all inquiry results
(1)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
journal article
Diagrammatikus érvelés - a kétkedés vége? = Diagrammatic Reasoning : The End of Scepticism?
Moktefi, Amirouche
Magyar Tudomany
2019
/
p. 970–978
http://dx.doi.org/10.1556/2065.180.2019.7.4
journal article
Number of records 1, displaying
1 - 1
keyword
174
1.
a coherent theory of proofs
2.
calculational proofs
3.
game-based proofs
4.
machine-checked proofs
5.
state-separating proofs
6.
coherent photodetection
7.
Lagrangian Coherent Structures
8.
submesoscale coherent vortex
9.
activity theory
10.
adaptive structuration theory (AST)
11.
algebraic number theory
12.
algebraic theory
13.
algorithm design and theory
14.
beam theory
15.
behavioral reasoning theory
16.
bicategory theory
17.
Bond theory
18.
Boolean Algebra Meets Graph-Theory
19.
catastrophe theory
20.
category theory
21.
chaos theory
22.
coding theory
23.
cognitive theory
24.
commitment theory
25.
communication channels (information theory)
26.
Complex systems theory
27.
complexity leadership theory
28.
complexity theory
29.
computation theory
30.
computer softwaregraph theory
31.
conservation of resources theory
32.
Consumer Culture Theory
33.
control theory
34.
Cooper-Helmstetter cell cycle theory
35.
cosmology: theory
36.
critical theory of technology
37.
cultural theory of international relations
38.
dark matter theory
39.
decision theory
40.
Dempster-Shafer theory
41.
Demster-Shafer Theory
42.
density functional theory
43.
density functional theory (DFT)
44.
dependent type theory
45.
design theory
46.
development theory
47.
Digital Government Theory: Development and Application
48.
dispersive theory
49.
domain theory
50.
ecological systems theory
51.
economic theory
52.
end of theory
53.
energetic impact theory
54.
enriched category theory
55.
Euler Bernoulli beams theory
56.
evolutionary theory of policy capacity
57.
Flow theory
58.
formal category theory
59.
formal language theory
60.
fully nonlinear potential theory
61.
game theory
62.
general systems theory
63.
general theory of information transfer
64.
general vibration theory
65.
graph theory
66.
gravitational waves / theory
67.
grounded theory
68.
group theory
69.
group threat theory
70.
higher-order beam theory
71.
History and Theory
72.
homotopy theory
73.
homotopy type theory
74.
housemoney effect prospect theory
75.
iceberg theory of culture
76.
image theory
77.
information theory
78.
innovation theory
79.
institutional theory
80.
intellectual capital theory
81.
interdependence theory
82.
inverse problem theory/applications
83.
inverse problems theory/applications
84.
job search theory
85.
language theory
86.
Lawvere theory
87.
layer-wise displacement theory
88.
linear systems theory
89.
macro-foundational theory
90.
maritime investment theory
91.
mechanism design theory
92.
meso-foundational theory
93.
micro-foundational theory
94.
middle-range theory
95.
modern portfolio theory
96.
network theory
97.
nonlinear shallow water theory
98.
nonlinear shallow-water theory
99.
nonlinear strip theory
100.
nonlinear theory
101.
normal torsion theory
102.
number theory
103.
organization theory
104.
organizational theory
105.
peer‐to‐peer theory
106.
perceived customer value theory
107.
phase field theory
108.
picture theory
109.
protection motivation theory
110.
proto-theory of design
111.
punctuated equilibrium theory
112.
rational choice theory
113.
real options theory
114.
realization theory
115.
reduction theory
116.
refined zigzag theory
117.
regulatory focus theory
118.
sampling theory
119.
scapegoat theory
120.
search and matching theory
121.
self-determination theory
122.
self-determination theory of work motivation
123.
set theory
124.
shallow water theory
125.
shallow‐water theory
126.
sign theory
127.
signalling theory
128.
social exchange theory
129.
social identity theory
130.
social practice theory
131.
social presence theory
132.
social representation theory
133.
social system theory
134.
social systems theory
135.
sociological curriculum theory
136.
S-O-R theory
137.
speech-act theory
138.
stakeholder theory
139.
Stakeholder-oriented decision theory
140.
State Theory
141.
stimulus-organism-response theory
142.
stochastic learning theory
143.
strategic narrative theory
144.
strategic narrative theory
145.
Straussian theory model
146.
structuration theory
147.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
148.
switching theory
149.
synchronous reference frame theory
150.
system theory
151.
systems theory
152.
the RAT theory
153.
theory
154.
theory and practice of meta-modelling with application in healthcare
155.
theory building
156.
theory of accounting
157.
Theory of computation
158.
Theory Of Constraints (TOC)
159.
theory of economic development
160.
theory of inventive problem solving (TRIZ)
161.
theory of natural disaster
162.
Theory of paradox
163.
theory of planned behavior
164.
theory of planned behaviour
165.
theory of signs
166.
theory of value
167.
theory selection
168.
ticked cubical type theory
169.
time-dependent density functional theory (TD-DFT)
170.
type theory
171.
unified theory of acceptance and use of technology
172.
value theory
173.
virtual disc theory
174.
2D+T theory
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT