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)
sõna
algab
täpne vaste
vabatekst
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)
sõna
algab
täpne vaste
vabatekst
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)
sõna
algab
täpne vaste
vabatekst
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)
sõna
algab
täpne vaste
vabatekst
—
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)
sõna
algab
täpne vaste
vabatekst
—
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/152)
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
152
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.
computer systems programming
21.
convex programming
22.
dataflow programming
23.
degenerate and infeasible linear programming problems
24.
dependently typed programming
25.
discrete-convex programming
26.
dynamic programming
27.
Extreme Programming
28.
functional programming
29.
functional reactive programming
30.
game programming
31.
generative programming
32.
genetic programming
33.
hardware close programming
34.
initial solution to the linear programming problem
35.
in-system programming
36.
integer linear programming
37.
integer linear programming (ILP)
38.
integrated programming system
39.
intelligent programming environment
40.
linear integer programming
41.
linear programming
42.
logarithmic fuzzy preference programming (LFPP)
43.
mathematical programming
44.
mathematical structures in functional programming
45.
mixed integer linear programming
46.
mixed integer linear programming (MILP)
47.
mixed integer nonlinear programming
48.
mixed-integer linear programming
49.
multi-objective nonlinear programming
50.
Nc-programming
51.
object-oriented programming
52.
object-oriented programming languages
53.
pair-programming
54.
problem-oriented programming languages
55.
programming
56.
programming and vision
57.
programming basics
58.
programming education
59.
programming languages
60.
programming time
61.
quadratic programming
62.
R programming
63.
robot programming
64.
semantics of programming languages
65.
skills assessment of programming and mathematics
66.
software tools for robot programming
67.
solving linear programming problems
68.
stochastic dynamic programming
69.
stochastic programming
70.
structured programming
71.
wireless programming
72.
algebra of logic
73.
binary logic controller
74.
Boolean logic
75.
Compound logic locking
76.
Compound logic locking (CLL)
77.
constructive logic
78.
default logic
79.
diagrammatic logic
80.
digital logic
81.
dynamic logic
82.
epistemic logic
83.
ethics and logic
84.
formal logic
85.
fuzzy logic
86.
fuzzy logic
87.
fuzzy logic control
88.
fuzzy logic controller
89.
fuzzy logic controller (FLC)
90.
fuzzy logic model
91.
graphical method of logic
92.
history of logic
93.
Hoare logic
94.
Husserl and Pierce on logic of probability
95.
independence-friendly logic
96.
intuitionistic logic
97.
linear logic
98.
linear logic of Petri nets
99.
logic
100.
logic built-in self-test
101.
logic cell library
102.
logic circuit
103.
logic design
104.
logic diagram
105.
logic diagrams
106.
logic education
107.
logic for pragmatics
108.
logic gates
109.
logic in AI
110.
logic in computer science
111.
logic in society
112.
logic level
113.
logic level and high level BDDs
114.
logic locking
115.
logic machine
116.
logic models
117.
logic models and simulation
118.
logic notation
119.
logic obfuscation
120.
logic of bunched implications
121.
logic of relatives
122.
logic of science
123.
logic of speech acts
124.
logic simulation
125.
logic synthesis
126.
logic teaching
127.
logic-based distributed routing
128.
malicious logic
129.
mathematical logic
130.
modal logic
131.
Natural logic
132.
Peirce's existential graphs and transcendental logic
133.
philosophical logic
134.
philosophy of logic
135.
pragmatic logic
136.
probabilistic relational program logic
137.
programmable logic
138.
programmable logic controller (PLC)
139.
quantitative logic
140.
quantum logic
141.
race logic
142.
reconfigurable logic
143.
routing logic
144.
S4 modal logic
145.
S-D logic
146.
Semi-substructural logic
147.
Service-Dominant logic
148.
stateful logic computation
149.
substructural logic
150.
symbolic knowledge in Husserlian pure logic
151.
symbolic logic
152.
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