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
Profiles and Research Groups
Advanced search
My bookmarks
0
logic in computer science (Keyword)
All fields
Profile search
Research Group search
Research group lead search
Research group member search
staatus, praegune amet
ajalugu
speciality
Google Scholar profile
kool
name, alternate name forms
ORCID
organisatsioon
Researcher ID
Related projects
Related department
Birth data
sünnikoht
TalTech prioriteetne teadussuund
TTÜ-s
Degree
teadusvaldkondade ja -erialade klassifikaator
praegune allüksus
Results
muu
tööaastad
Head of the research group
Research group member
Research group
Period of activity of the research group
Keyword
Important results
Overview
All fields
Department code
TalTech department
Career in TalTech
Teadustöö mujal
Teenistuskäik mujal
Birth and death data
dates of life
Education
School
Doctoral students
Head of the research group
Name reference
Research group member
Surname and first name
More information
Ühiskondlik tegevus
Doctoral students
Head of the research group
Research group member
starts with
containes
exact match
All fields
Profile search
Research Group search
Research group lead search
Research group member search
staatus, praegune amet
ajalugu
speciality
Google Scholar profile
kool
name, alternate name forms
ORCID
organisatsioon
Researcher ID
Related projects
Related department
Birth data
sünnikoht
TalTech prioriteetne teadussuund
TTÜ-s
Degree
teadusvaldkondade ja -erialade klassifikaator
praegune allüksus
Results
muu
tööaastad
Head of the research group
Research group member
Research group
Period of activity of the research group
Keyword
Important results
Overview
All fields
Department code
TalTech department
Career in TalTech
Teadustöö mujal
Teenistuskäik mujal
Birth and death data
dates of life
Education
School
Doctoral students
Head of the research group
Name reference
Research group member
Surname and first name
More information
Ühiskondlik tegevus
Doctoral students
Head of the research group
Research group member
starts with
containes
exact match
—
All fields
Profile search
Research Group search
Research group lead search
Research group member search
staatus, praegune amet
ajalugu
speciality
Google Scholar profile
kool
name, alternate name forms
ORCID
organisatsioon
Researcher ID
Related projects
Related department
Birth data
sünnikoht
TalTech prioriteetne teadussuund
TTÜ-s
Degree
teadusvaldkondade ja -erialade klassifikaator
praegune allüksus
Results
muu
tööaastad
Head of the research group
Research group member
Research group
Period of activity of the research group
Keyword
Important results
Overview
All fields
Department code
TalTech department
Career in TalTech
Teadustöö mujal
Teenistuskäik mujal
Birth and death data
dates of life
Education
School
Doctoral students
Head of the research group
Name reference
Research group member
Surname and first name
More information
Ühiskondlik tegevus
Doctoral students
Head of the research group
Research group member
starts with
containes
exact match
—
All fields
Profile search
Research Group search
Research group lead search
Research group member search
staatus, praegune amet
ajalugu
speciality
Google Scholar profile
kool
name, alternate name forms
ORCID
organisatsioon
Researcher ID
Related projects
Related department
Birth data
sünnikoht
TalTech prioriteetne teadussuund
TTÜ-s
Degree
teadusvaldkondade ja -erialade klassifikaator
praegune allüksus
Results
muu
tööaastad
Head of the research group
Research group member
Research group
Period of activity of the research group
Keyword
Important results
Overview
All fields
Department code
TalTech department
Career in TalTech
Teadustöö mujal
Teenistuskäik mujal
Birth and death data
dates of life
Education
School
Doctoral students
Head of the research group
Name reference
Research group member
Surname and first name
More information
Ühiskondlik tegevus
Doctoral students
Head of the research group
Research group member
starts with
containes
exact match
—
All fields
Profile search
Research Group search
Research group lead search
Research group member search
staatus, praegune amet
ajalugu
speciality
Google Scholar profile
kool
name, alternate name forms
ORCID
organisatsioon
Researcher ID
Related projects
Related department
Birth data
sünnikoht
TalTech prioriteetne teadussuund
TTÜ-s
Degree
teadusvaldkondade ja -erialade klassifikaator
praegune allüksus
Results
muu
tööaastad
Head of the research group
Research group member
Research group
Period of activity of the research group
Keyword
Important results
Overview
All fields
Department code
TalTech department
Career in TalTech
Teadustöö mujal
Teenistuskäik mujal
Birth and death data
dates of life
Education
School
Doctoral students
Head of the research group
Name reference
Research group member
Surname and first name
More information
Ühiskondlik tegevus
Doctoral students
Head of the research group
Research group member
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
CV
..
Research Group
..
name, alternate name forms
Loading..
praegune allüksus
Loading..
staatus, praegune amet
Loading..
speciality
Loading..
Head of the research group
Loading..
Research group member
Loading..
TalTech prioriteetne teadussuund
Loading..
Keyword
Loading..
teadusvaldkondade ja -erialade klassifikaator
Loading..
Clear
Number of records
1
Look more..
(3/31)
Export
export all inquiry results
(1)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
lühivorming
sort
name, alternate name forms ascending
name, alternate name forms descending
1
Research Group EST
/
Research Group ENG
Laboratory for compositional systems and methods
.
Dependable IT solutions
.
Sobociński, Paweł Maria 1978
Research Group EST
/
Research Group ENG
Number of records 1, displaying
1 - 1
kool
20
1.
AGH University of Science and Technology (Kraków)
2.
Cochin University of Science and Technology (India)
3.
Federal Urdu University of Arts; Science & Technology (Islamabad)
4.
Imperial College of Science and Technology (London)
5.
Indian Institute of Science (Bangalore)
6.
Indian Institute of Science Education & Research
7.
Iran University of Science and Technology
8.
Kwame Nkrumah University of Science and Technology (Ghana)
9.
London School of Economics and Political Science
10.
Nara Institute of Science and Technology
11.
National University of Science and Technology MISiS (Moskva)
12.
Norwegian University of Science and Technology
13.
Seoul National University of Science & Technology
14.
Shanmugha Arts; Science; Technology and Research Academy (Tamil Nadu)
15.
Skolkovo Institute of Science and Technology (Moskva)
16.
SRM Institute of Science and Technology (Chennai)
17.
Sudan University of Science and Technology
18.
University of Science and Technology Bannu (Pakistan)
19.
University of Science and Technology Beijing
20.
University of Shanghai for Science and Technology
Keyword
9
1.
logic in computer science
2.
logic-based software systems
3.
computer vision
4.
mixed methodologies (human-computer interaction)
5.
data science
6.
history of science
7.
mining science
8.
philosophy of science and technology
9.
social science methods and methodologies
Related department
2
1.
department of computer systems
2.
Department of software science
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
name, alternate name forms
praegune allüksus
staatus, praegune amet
speciality
Head of the research group
Research group member
TalTech prioriteetne teadussuund
Keyword
teadusvaldkondade ja -erialade klassifikaator
Otsing
Valikud
0
name, alternate name forms
AND
OR
NOT
praegune allüksus
AND
OR
NOT
staatus, praegune amet
AND
OR
NOT
speciality
AND
OR
NOT
Head of the research group
AND
OR
NOT
Research group member
AND
OR
NOT
TalTech prioriteetne teadussuund
AND
OR
NOT
Keyword
AND
OR
NOT
teadusvaldkondade ja -erialade klassifikaator
AND
OR
NOT