Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Liitotsing
Valitud kirjed
0
constraint logic programming (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
1
Vaata veel..
(1/150)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel kogumikus
Autonomous Vessels Collision Verification : Geometric Optimization
Ben Lahbib, Hiba
;
Bennani, Mohamed Taha
;
Vain, Jüri
Artificial Intelligence Applications and Innovations : 21st IFIP WG 12.5 International Conference, AIAI 2025, Limassol, Cyprus, June 26–29, 2025 : proceedings. Part I
2025
/
p. 132–145
https://doi.org/10.1007/978-3-031-96239-4_10
artikkel kogumikus
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
150
1.
constraint logic programming
2.
constraint logic programming (LP) (CLP)
3.
constraint programming
4.
Inductive logic programming
5.
logic and philosophy of logic
6.
constraint random verification
7.
integrity constraint
8.
network constraint
9.
Nonlinear budget constraint
10.
object constraint languages
11.
proportional rate constraint
12.
adaptive programming
13.
advanced programming and software
14.
API (Application Programming Interface)
15.
automatic programming
16.
C++ programming language
17.
chance-constrained programming
18.
computer programming
19.
computer programming languages
20.
convex programming
21.
dataflow programming
22.
degenerate and infeasible linear programming problems
23.
dependently typed programming
24.
discrete-convex programming
25.
dynamic programming
26.
Extreme Programming
27.
functional programming
28.
functional reactive programming
29.
game programming
30.
generative programming
31.
genetic programming
32.
hardware close programming
33.
initial solution to the linear programming problem
34.
in-system programming
35.
integer linear programming
36.
integer linear programming (ILP)
37.
integrated programming system
38.
intelligent programming environment
39.
linear integer programming
40.
linear programming
41.
logarithmic fuzzy preference programming (LFPP)
42.
mathematical programming
43.
mathematical structures in functional programming
44.
mixed integer linear programming
45.
mixed integer linear programming (MILP)
46.
mixed integer nonlinear programming
47.
mixed-integer linear programming
48.
multi-objective nonlinear programming
49.
Nc-programming
50.
object-oriented programming
51.
object-oriented programming languages
52.
pair-programming
53.
problem-oriented programming languages
54.
programming
55.
programming and vision
56.
programming basics
57.
programming education
58.
programming languages
59.
programming time
60.
quadratic programming
61.
robot programming
62.
semantics of programming languages
63.
skills assessment of programming and mathematics
64.
software tools for robot programming
65.
solving linear programming problems
66.
stochastic dynamic programming
67.
stochastic programming
68.
structured programming
69.
wireless programming
70.
algebra of logic
71.
binary logic controller
72.
Boolean logic
73.
Compound logic locking
74.
Compound logic locking (CLL)
75.
constructive logic
76.
default logic
77.
diagrammatic logic
78.
digital logic
79.
dynamic logic
80.
epistemic logic
81.
ethics and logic
82.
formal logic
83.
fuzzy logic
84.
fuzzy logic
85.
fuzzy logic control
86.
fuzzy logic controller
87.
fuzzy logic controller (FLC)
88.
fuzzy logic model
89.
graphical method of logic
90.
history of logic
91.
Hoare logic
92.
Husserl and Pierce on logic of probability
93.
independence-friendly logic
94.
intuitionistic logic
95.
linear logic
96.
linear logic of Petri nets
97.
logic
98.
logic built-in self-test
99.
logic cell library
100.
logic circuit
101.
logic design
102.
logic diagram
103.
logic diagrams
104.
logic education
105.
logic for pragmatics
106.
logic gates
107.
logic in AI
108.
logic in computer science
109.
logic in society
110.
logic level
111.
logic level and high level BDDs
112.
logic locking
113.
logic machine
114.
logic models
115.
logic models and simulation
116.
logic notation
117.
logic obfuscation
118.
logic of bunched implications
119.
logic of relatives
120.
logic of science
121.
logic of speech acts
122.
logic simulation
123.
logic synthesis
124.
logic teaching
125.
logic-based distributed routing
126.
malicious logic
127.
mathematical logic
128.
modal logic
129.
Natural logic
130.
Peirce's existential graphs and transcendental logic
131.
philosophical logic
132.
philosophy of logic
133.
pragmatic logic
134.
probabilistic relational program logic
135.
programmable logic
136.
programmable logic controller (PLC)
137.
quantitative logic
138.
quantum logic
139.
race logic
140.
reconfigurable logic
141.
routing logic
142.
S4 modal logic
143.
S-D logic
144.
Semi-substructural logic
145.
Service-Dominant logic
146.
stateful logic computation
147.
substructural logic
148.
symbolic knowledge in Husserlian pure logic
149.
symbolic logic
150.
temporal logic
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT