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 publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(1/156)
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
156
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.
bicategory theory
16.
catastrophe theory
17.
category theory
18.
chaos theory
19.
coding theory
20.
cognitive theory
21.
commitment theory
22.
communication channels (information theory)
23.
complexity leadership theory
24.
complexity theory
25.
computation theory
26.
computer softwaregraph theory
27.
conservation of resources theory
28.
Consumer Culture Theory
29.
control theory
30.
Cooper-Helmstetter cell cycle theory
31.
cosmology: theory
32.
critical theory of technology
33.
cultural theory of international relations
34.
dark matter theory
35.
decision theory
36.
Dempster-Shafer theory
37.
Demster-Shafer Theory
38.
density functional theory
39.
dependent type theory
40.
design theory
41.
development theory
42.
Digital Government Theory: Development and Application
43.
dispersive theory
44.
domain theory
45.
ecological systems theory
46.
economic theory
47.
end of theory
48.
energetic impact theory
49.
evolutionary theory of policy capacity
50.
Flow theory
51.
formal language theory
52.
fully nonlinear potential theory
53.
game theory
54.
general systems theory
55.
general theory of information transfer
56.
general vibration theory
57.
graph theory
58.
gravitational waves / theory
59.
grounded theory
60.
group theory
61.
group threat theory
62.
higher-order beam theory
63.
History and Theory
64.
homotopy theory
65.
homotopy type theory
66.
housemoney effect prospect theory
67.
iceberg theory of culture
68.
image theory
69.
information theory
70.
innovation theory
71.
institutional theory
72.
intellectual capital theory
73.
interdependence theory
74.
inverse problem theory/applications
75.
inverse problems theory/applications
76.
job search theory
77.
Lawvere theory
78.
layer-wise displacement theory
79.
linear systems theory
80.
maritime investment theory
81.
mechanism design theory
82.
middle-range theory
83.
modern portfolio theory
84.
network theory
85.
nonlinear shallow water theory
86.
nonlinear shallow-water theory
87.
nonlinear strip theory
88.
nonlinear theory
89.
normal torsion theory
90.
number theory
91.
organization theory
92.
organizational theory
93.
peer‐to‐peer theory
94.
perceived customer value theory
95.
phase field theory
96.
picture theory
97.
protection motivation theory
98.
proto-theory of design
99.
punctuated equilibrium theory
100.
rational choice theory
101.
real options theory
102.
realization theory
103.
reduction theory
104.
refined zigzag theory
105.
regulatory focus theory
106.
sampling theory
107.
scapegoat theory
108.
search and matching theory
109.
self-determination theory
110.
self-determination theory of work motivation
111.
set theory
112.
shallow water theory
113.
shallow‐water theory
114.
sign theory
115.
signalling theory
116.
social identity theory
117.
social practice theory
118.
social presence theory
119.
social representation theory
120.
social system theory
121.
social systems theory
122.
sociological curriculum theory
123.
speech-act theory
124.
stakeholder theory
125.
Stakeholder-oriented decision theory
126.
State Theory
127.
stimulus-organism-response theory
128.
stochastic learning theory
129.
strategic narrative theory
130.
strategic narrative theory
131.
Straussian theory model
132.
structuration theory
133.
switching theory
134.
synchronous reference frame theory
135.
system theory
136.
systems theory
137.
the RAT theory
138.
theory
139.
theory and practice of meta-modelling with application in healthcare
140.
theory of accounting
141.
Theory Of Constraints (TOC)
142.
theory of economic development
143.
theory of inventive problem solving (TRIZ)
144.
theory of natural disaster
145.
Theory of paradox
146.
theory of planned behavior
147.
theory of planned behaviour
148.
theory of signs
149.
theory of value
150.
ticked cubical type theory
151.
time-dependent density functional theory (TD-DFT)
152.
type theory
153.
unified theory of acceptance and use of technology
154.
value theory
155.
virtual disc theory
156.
2D+T theory
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT