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/187)
Export
export all inquiry results
(1)
Save TXT 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
187
1.
a coherent theory of proofs
2.
calculational proofs
3.
game-based proofs
4.
machine-checked proofs
5.
state-separating proofs
6.
Zero-knowledge proofs
7.
coherent photodetection
8.
Lagrangian Coherent Structures
9.
submesoscale coherent vortex
10.
activity theory
11.
adaptive structuration theory (AST)
12.
algebraic number theory
13.
algebraic theory
14.
algorithm design and theory
15.
beam theory
16.
behavioral reasoning theory
17.
bicategory theory
18.
Biot theory
19.
Bond theory
20.
Boolean Algebra Meets Graph-Theory
21.
catastrophe theory
22.
category theory
23.
chaos theory
24.
coding theory
25.
cognitive theory
26.
commitment theory
27.
communication channels (information theory)
28.
Complex systems theory
29.
complexity leadership theory
30.
complexity theory
31.
computation theory
32.
computer softwaregraph theory
33.
conservation of resources theory
34.
consumer culture theory
35.
control and systems theory
36.
control theory
37.
Cooper-Helmstetter cell cycle theory
38.
cosmology theory
39.
cosmology: theory
40.
critical theory of technology
41.
cultural theory of international relations
42.
dark matter theory
43.
decision theory
44.
Dempster-Shafer theory
45.
Demster-Shafer Theory
46.
density functional theory
47.
density functional theory (DFT)
48.
dependent type theory
49.
design theory
50.
Dezert–Smarandache theory
51.
development theory
52.
Digital Government Theory: Development and Application
53.
dispersive theory
54.
domain theory
55.
dual-process theory
56.
Dynamic capability theory
57.
dynamic social impact theory (DSIT)
58.
ecological systems theory
59.
economic theory
60.
end of theory
61.
energetic impact theory
62.
engaged theory
63.
enriched category theory
64.
Euler Bernoulli beams theory
65.
evolutionary theory of policy capacity
66.
Flow theory
67.
formal category theory
68.
formal language theory
69.
fully nonlinear potential theory
70.
game theory
71.
general systems theory
72.
general theory of information transfer
73.
general vibration theory
74.
graph theory
75.
gravitational waves / theory
76.
grounded theory
77.
group theory
78.
group threat theory
79.
higher-order beam theory
80.
History and Theory
81.
homotopy theory
82.
homotopy type theory
83.
housemoney effect prospect theory
84.
iceberg theory of culture
85.
image theory
86.
information theory
87.
innovation theory
88.
institutional theory
89.
intellectual capital theory
90.
interdependence theory
91.
inverse problem theory/applications
92.
inverse problems theory/applications
93.
job search theory
94.
language theory
95.
Lawvere theory
96.
layer-wise displacement theory
97.
linear systems theory
98.
macro-foundational theory
99.
maritime investment theory
100.
mechanism design theory
101.
meso-foundational theory
102.
micro-foundational theory
103.
middle-range theory
104.
mindlin plate theory
105.
modern portfolio theory
106.
network theory
107.
nonlinear shallow water theory
108.
nonlinear shallow-water theory
109.
nonlinear strip theory
110.
nonlinear theory
111.
normal torsion theory
112.
number theory
113.
organismic integration theory
114.
organization theory
115.
organizational theory
116.
peer‐to‐peer theory
117.
perceived customer value theory
118.
phase field theory
119.
picture theory
120.
protection motivation theory
121.
proto-theory of design
122.
public administration theory
123.
punctuated equilibrium theory
124.
quantum theory
125.
rational choice theory
126.
real options theory
127.
realization theory
128.
reduction theory
129.
refined zigzag theory
130.
regulatory focus theory
131.
sampling theory
132.
scapegoat theory
133.
search and matching theory
134.
self-determination theory
135.
self-determination theory of work motivation
136.
set theory
137.
shallow water theory
138.
shallow‐water theory
139.
sign theory
140.
signalling theory
141.
social exchange theory
142.
social identity theory
143.
social practice theory
144.
social presence theory
145.
social representation theory
146.
social system theory
147.
social systems theory
148.
sociological curriculum theory
149.
S-O-R theory
150.
speech-act theory
151.
stakeholder theory
152.
Stakeholder-oriented decision theory
153.
State Theory
154.
stimulus-organism-response theory
155.
stochastic learning theory
156.
strategic narrative theory
157.
strategic narrative theory
158.
Straussian theory model
159.
structuration theory
160.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
161.
switching theory
162.
synchronous reference frame theory
163.
system theory
164.
systems theory
165.
the RAT theory
166.
theory
167.
theory and practice of meta-modelling with application in healthcare
168.
theory building
169.
theory of accounting
170.
Theory of computation
171.
Theory Of Constraints (TOC)
172.
theory of economic development
173.
theory of inventive problem solving (TRIZ)
174.
theory of natural disaster
175.
Theory of paradox
176.
theory of planned behavior
177.
theory of planned behaviour
178.
theory of signs
179.
theory of value
180.
theory selection
181.
ticked cubical type theory
182.
time-dependent density functional theory (TD-DFT)
183.
type theory
184.
unified theory of acceptance and use of technology
185.
value theory
186.
virtual disc theory
187.
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