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/185)
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
185
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.
ecological systems theory
58.
economic theory
59.
end of theory
60.
energetic impact theory
61.
engaged theory
62.
enriched category theory
63.
Euler Bernoulli beams theory
64.
evolutionary theory of policy capacity
65.
Flow theory
66.
formal category theory
67.
formal language theory
68.
fully nonlinear potential theory
69.
game theory
70.
general systems theory
71.
general theory of information transfer
72.
general vibration theory
73.
graph theory
74.
gravitational waves / theory
75.
grounded theory
76.
group theory
77.
group threat theory
78.
higher-order beam theory
79.
History and Theory
80.
homotopy theory
81.
homotopy type theory
82.
housemoney effect prospect theory
83.
iceberg theory of culture
84.
image theory
85.
information theory
86.
innovation theory
87.
institutional theory
88.
intellectual capital theory
89.
interdependence theory
90.
inverse problem theory/applications
91.
inverse problems theory/applications
92.
job search theory
93.
language theory
94.
Lawvere theory
95.
layer-wise displacement theory
96.
linear systems theory
97.
macro-foundational theory
98.
maritime investment theory
99.
mechanism design theory
100.
meso-foundational theory
101.
micro-foundational theory
102.
middle-range theory
103.
mindlin plate theory
104.
modern portfolio theory
105.
network theory
106.
nonlinear shallow water theory
107.
nonlinear shallow-water theory
108.
nonlinear strip theory
109.
nonlinear theory
110.
normal torsion theory
111.
number theory
112.
organismic integration theory
113.
organization theory
114.
organizational theory
115.
peer‐to‐peer theory
116.
perceived customer value theory
117.
phase field theory
118.
picture theory
119.
protection motivation theory
120.
proto-theory of design
121.
public administration theory
122.
punctuated equilibrium theory
123.
rational choice theory
124.
real options theory
125.
realization theory
126.
reduction theory
127.
refined zigzag theory
128.
regulatory focus theory
129.
sampling theory
130.
scapegoat theory
131.
search and matching theory
132.
self-determination theory
133.
self-determination theory of work motivation
134.
set theory
135.
shallow water theory
136.
shallow‐water theory
137.
sign theory
138.
signalling theory
139.
social exchange theory
140.
social identity theory
141.
social practice theory
142.
social presence theory
143.
social representation theory
144.
social system theory
145.
social systems theory
146.
sociological curriculum theory
147.
S-O-R theory
148.
speech-act theory
149.
stakeholder theory
150.
Stakeholder-oriented decision theory
151.
State Theory
152.
stimulus-organism-response theory
153.
stochastic learning theory
154.
strategic narrative theory
155.
strategic narrative theory
156.
Straussian theory model
157.
structuration theory
158.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
159.
switching theory
160.
synchronous reference frame theory
161.
system theory
162.
systems theory
163.
the RAT theory
164.
theory
165.
theory and practice of meta-modelling with application in healthcare
166.
theory building
167.
theory of accounting
168.
Theory of computation
169.
Theory Of Constraints (TOC)
170.
theory of economic development
171.
theory of inventive problem solving (TRIZ)
172.
theory of natural disaster
173.
Theory of paradox
174.
theory of planned behavior
175.
theory of planned behaviour
176.
theory of signs
177.
theory of value
178.
theory selection
179.
ticked cubical type theory
180.
time-dependent density functional theory (TD-DFT)
181.
type theory
182.
unified theory of acceptance and use of technology
183.
value theory
184.
virtual disc theory
185.
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