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
Advanced search
My bookmarks
0
Boolean logic (keyword)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple 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/89)
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
book
Logic in question : talks from the annual Sorbonne logic workshop (2011- 2019)
2023
https://doi.org/10.1007/978-3-030-94452-0
book
Number of records 1, displaying
1 - 1
keyword
89
1.
Boolean logic
2.
logic and philosophy of logic
3.
Boolean algebra
4.
Boolean Algebra Meets Graph-Theory
5.
boolean automaton
6.
boolean functions
7.
Boolean Satisfiability
8.
pseudo-Boolean optimization
9.
quantified Boolean formula
10.
quasi-Boolean algebra
11.
algebra of logic
12.
binary logic controller
13.
Compound logic locking
14.
Compound logic locking (CLL)
15.
constructive logic
16.
default logic
17.
diagrammatic logic
18.
digital logic
19.
dynamic logic
20.
epistemic logic
21.
ethics and logic
22.
formal logic
23.
fuzzy logic
24.
fuzzy logic
25.
fuzzy logic control
26.
fuzzy logic controller
27.
fuzzy logic controller (FLC)
28.
fuzzy logic model
29.
graphical method of logic
30.
history of logic
31.
Hoare logic
32.
Husserl and Pierce on logic of probability
33.
independence-friendly logic
34.
Inductive logic programming
35.
intuitionistic logic
36.
linear logic
37.
logic
38.
logic built-in self-test
39.
logic cell library
40.
logic circuit
41.
logic design
42.
logic diagram
43.
logic diagrams
44.
logic education
45.
logic for pragmatics
46.
logic gates
47.
logic in computer science
48.
logic in society
49.
logic level
50.
logic level and high level BDDs
51.
logic locking
52.
logic machine
53.
logic models
54.
logic models and simulation
55.
logic notation
56.
logic obfuscation
57.
logic of bunched implications
58.
logic of relatives
59.
logic of science
60.
logic of speech acts
61.
logic simulation
62.
logic synthesis
63.
logic teaching
64.
logic-based distributed routing
65.
malicious logic
66.
mathematical logic
67.
modal logic
68.
Natural logic
69.
Peirce's existential graphs and transcendental logic
70.
philosophical logic
71.
philosophy of logic
72.
pragmatic logic
73.
probabilistic relational program logic
74.
programmable logic
75.
programmable logic controller (PLC)
76.
quantitative logic
77.
quantum logic
78.
race logic
79.
reconfigurable logic
80.
routing logic
81.
S4 modal logic
82.
S-D logic
83.
Semi-substructural logic
84.
Service-Dominant logic
85.
stateful logic computation
86.
substructural logic
87.
symbolic knowledge in Husserlian pure logic
88.
symbolic logic
89.
temporal logic
×
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