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
logic machine (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..
(2/177)
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 EST
/
journal article ENG
Léon Foucou and the beginnings of mathematical logic in France
Moktefi, Amirouche
;
Chevalier, Jean-Marie C.
History and philosophy of logic
2025
/
24 p
https://doi.org/10.1080/01445340.2025.2488605
journal article EST
/
journal article ENG
Number of records 1, displaying
1 - 1
keyword
176
1.
logic machine
2.
logic and philosophy of logic
3.
machine-to-machine communications
4.
algebra of logic
5.
binary logic controller
6.
Boolean logic
7.
Compound logic locking
8.
Compound logic locking (CLL)
9.
constructive logic
10.
default logic
11.
diagrammatic logic
12.
digital logic
13.
dynamic logic
14.
epistemic logic
15.
ethics and logic
16.
formal logic
17.
fuzzy logic
18.
fuzzy logic
19.
fuzzy logic control
20.
fuzzy logic controller
21.
fuzzy logic controller (FLC)
22.
fuzzy logic model
23.
graphical method of logic
24.
history of logic
25.
Hoare logic
26.
Husserl and Pierce on logic of probability
27.
independence-friendly logic
28.
Inductive logic programming
29.
intuitionistic logic
30.
linear logic
31.
logic
32.
logic built-in self-test
33.
logic cell library
34.
logic circuit
35.
logic design
36.
logic diagram
37.
logic diagrams
38.
logic education
39.
logic for pragmatics
40.
logic gates
41.
logic in AI
42.
logic in computer science
43.
logic in society
44.
logic level
45.
logic level and high level BDDs
46.
logic locking
47.
logic models
48.
logic models and simulation
49.
logic notation
50.
logic obfuscation
51.
logic of bunched implications
52.
logic of relatives
53.
logic of science
54.
logic of speech acts
55.
logic simulation
56.
logic synthesis
57.
logic teaching
58.
logic-based distributed routing
59.
malicious logic
60.
mathematical logic
61.
modal logic
62.
Natural logic
63.
Peirce's existential graphs and transcendental logic
64.
philosophical logic
65.
philosophy of logic
66.
pragmatic logic
67.
probabilistic relational program logic
68.
programmable logic
69.
programmable logic controller (PLC)
70.
quantitative logic
71.
quantum logic
72.
race logic
73.
reconfigurable logic
74.
routing logic
75.
S4 modal logic
76.
S-D logic
77.
Semi-substructural logic
78.
Service-Dominant logic
79.
stateful logic computation
80.
substructural logic
81.
symbolic knowledge in Husserlian pure logic
82.
symbolic logic
83.
temporal logic
84.
AC machine
85.
adversarial machine learning
86.
adversarial machine-learning
87.
Algorithmic State Machine - ASM
88.
automatic machine learning (autoML)
89.
axial flux machine
90.
axial flux switched reluctance machine
91.
bearingless machine
92.
brushless machine
93.
coordinate measurring machine
94.
data analytics and machine learning
95.
electric machine
96.
electric machine analysis computing
97.
electric machine control
98.
electrical machine
99.
electrical machine cooling
100.
electrical machine design
101.
explainable machine learning
102.
finite state machine
103.
Finite State Machine - FSM
104.
graph machine learning
105.
hierarchical finite state machine
106.
high-frequency machine modeling
107.
human machine interaction
108.
human machine systems
109.
human-machine interaction
110.
human-machine interactions
111.
human-machine interface
112.
human-machine system
113.
induction machine
114.
interior permanent magnet machine
115.
interior permanent-magnet synchronous machine (IPMSM)
116.
interpretable machine learning
117.
low-resource machine translation
118.
machine bearings
119.
machine condition monitoring
120.
machine control
121.
machine design
122.
machine elements
123.
machine error
124.
machine housing
125.
machine learning
126.
machine learning (ML)
127.
machine learning algorithms
128.
machine learning approach
129.
Machine Learning Explainable model
130.
machine learning for environmental applications
131.
machine learning models
132.
machine learning systems
133.
machine tools
134.
machine translation
135.
machine vector control
136.
machine windings
137.
machine vision
138.
machine-checked proofs
139.
machine-learning
140.
machine-learning predictive model
141.
machine-translation
142.
man-machine systems
143.
massive machine type communication (mMTC)
144.
massive machine-type communication (mMTC)
145.
massive machine-type communication devices (mMTC)
146.
massive machine-type communications (mMTC)
147.
massive Machine-Type connections (mMTC)
148.
multi-class support vector machine (m-SVM)
149.
multi-machine
150.
multi-machine industrial power plant
151.
multi-machine power system
152.
multi-stream interaction machine
153.
neural machine translation
154.
outer-rotor machine
155.
Parkinson’s disease machine learning
156.
permanent magnet (PM) synchronous machine
157.
permanent magnet flux-switching machine
158.
permanent magnet machine
159.
permanent magnet synchronous machine (PMSM)
160.
reluctance machine
161.
robust machine learning
162.
sewing machine operator
163.
small data machine learning
164.
spoke-type PM machine
165.
state machine
166.
supervised machine learning
167.
support vector machine
168.
surface permanent magnet machine (SPM)
169.
switched reluctance machine
170.
switched reluctance machine (SRM)
171.
synchronous machine
172.
TBM (tunnel boring machine)
173.
totally enclosed fan-cooled machine
174.
universal friction machine
175.
unsupervised machine learning
176.
virtual synchronous machine
author
1
1.
ELIXIR Machine Learning Focus Group
×
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