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 programming (title)
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
2
Look more..
(1/141)
Export
export all inquiry results
(2)
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
book article
Logic programming
Tepandi, Jaak
Concise encyclopedia of software engineering
1993
/
p. 194-195
book article
2
book article
Logic programming
Tepandi, Jaak
Systems & control encyclopedia. Supplementary volume 2
1992
/
p. 817-818
book article
Number of records 2, displaying
1 - 2
keyword
141
1.
Inductive logic programming
2.
logic and philosophy of logic
3.
adaptive programming
4.
advanced programming and software
5.
API (Application Programming Interface)
6.
automatic programming
7.
C++ programming language
8.
chance-constrained programming
9.
computer programming
10.
computer programming languages
11.
constraint programming
12.
convex programming
13.
dataflow programming
14.
degenerate and infeasible linear programming problems
15.
dependently typed programming
16.
discrete-convex programming
17.
dynamic programming
18.
Extreme Programming
19.
functional reactive programming
20.
game programming
21.
generative programming
22.
genetic programming
23.
hardware close programming
24.
initial solution to the linear programming problem
25.
in-system programming
26.
integer linear programming
27.
integer linear programming (ILP)
28.
integrated programming system
29.
intelligent programming environment
30.
linear integer programming
31.
linear programming
32.
logarithmic fuzzy preference programming (LFPP)
33.
mathematical programming
34.
mathematical structures in functional programming
35.
mixed integer linear programming
36.
mixed integer linear programming (MILP)
37.
mixed integer nonlinear programming
38.
mixed-integer linear programming
39.
multi-objective nonlinear programming
40.
Nc-programming
41.
object-oriented programming
42.
object-oriented programming languages
43.
pair-programming
44.
problem-oriented programming languages
45.
programming
46.
programming and vision
47.
programming basics
48.
programming education
49.
programming languages
50.
programming time
51.
quadratic programming
52.
robot programming
53.
semantics of programming languages
54.
skills assessment of programming and mathematics
55.
software tools for robot programming
56.
solving linear programming problems
57.
stochastic dynamic programming
58.
stochastic programming
59.
structured programming
60.
wireless programming
61.
algebra of logic
62.
binary logic controller
63.
Boolean logic
64.
Compound logic locking
65.
Compound logic locking (CLL)
66.
constructive logic
67.
default logic
68.
diagrammatic logic
69.
digital logic
70.
dynamic logic
71.
epistemic logic
72.
ethics and logic
73.
formal logic
74.
fuzzy logic
75.
fuzzy logic
76.
fuzzy logic control
77.
fuzzy logic controller
78.
fuzzy logic controller (FLC)
79.
fuzzy logic model
80.
graphical method of logic
81.
history of logic
82.
Hoare logic
83.
Husserl and Pierce on logic of probability
84.
independence-friendly logic
85.
intuitionistic logic
86.
linear logic
87.
linear logic of Petri nets
88.
logic
89.
logic built-in self-test
90.
logic cell library
91.
logic circuit
92.
logic design
93.
logic diagram
94.
logic diagrams
95.
logic education
96.
logic for pragmatics
97.
logic gates
98.
logic in AI
99.
logic in computer science
100.
logic in society
101.
logic level
102.
logic level and high level BDDs
103.
logic locking
104.
logic machine
105.
logic models
106.
logic models and simulation
107.
logic notation
108.
logic obfuscation
109.
logic of bunched implications
110.
logic of relatives
111.
logic of science
112.
logic of speech acts
113.
logic simulation
114.
logic synthesis
115.
logic teaching
116.
logic-based distributed routing
117.
malicious logic
118.
mathematical logic
119.
modal logic
120.
Natural logic
121.
Peirce's existential graphs and transcendental logic
122.
philosophical logic
123.
philosophy of logic
124.
pragmatic logic
125.
probabilistic relational program logic
126.
programmable logic
127.
programmable logic controller (PLC)
128.
quantitative logic
129.
quantum logic
130.
race logic
131.
reconfigurable logic
132.
routing logic
133.
S4 modal logic
134.
S-D logic
135.
Semi-substructural logic
136.
Service-Dominant logic
137.
stateful logic computation
138.
substructural logic
139.
symbolic knowledge in Husserlian pure logic
140.
symbolic logic
141.
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