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
Handbook of automated reasoning. Vol. 2 (source)
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
1
Look more..
(1/64)
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 article
Resolution decision procedures
Fermüller, Christian G.
;
Hustadt, Ullrich
;
Leitsch, Alexander
;
Tammet, Tanel
Handbook of automated reasoning. Vol. 2
2001
/
p. 1791-1849
book article
Number of records 1, displaying
1 - 1
keyword
64
1.
automated reasoning
2.
analogical reasoning
3.
behavioral reasoning theory
4.
case base reasoning
5.
case base reasoning (CBR)
6.
clausal reasoning
7.
clinical reasoning
8.
commonsense reasoning
9.
diagrammatic reasoning
10.
formal reasoning
11.
inductive reasoning
12.
logical reasoning
13.
neurosymbolic reasoning
14.
practical reasoning
15.
principles of reasoning
16.
probabilistic reasoning
17.
reasoning
18.
reasoning systems
19.
rule-based reasoning
20.
scientific reasoning
21.
statistical reasoning
22.
visual reasoning
23.
handbook
24.
MIL-HDBK-217F handbook
25.
automated Arabic text illustration
26.
Automated Bonding Evaluation System
27.
automated buses
28.
automated code generation
29.
automated control
30.
automated decision and monitoring mechanisms
31.
automated decision making
32.
Automated decision-making
33.
automated decision-making (ADM)
34.
automated decisions
35.
automated driving
36.
automated fiber placement
37.
automated fibre placement
38.
Automated guided vehicle (AGV)
39.
automated labeling
40.
automated mobility
41.
automated mobility and delivery industry
42.
automated oral fluid extractor
43.
automated personalised feedback
44.
Automated placement system
45.
Automated Production Systems
46.
automated protocol reverse-engineering
47.
automated quality assessment
48.
automated readout
49.
Automated Synthesis of Software-based Self-test
50.
automated tape
51.
automated tape laying
52.
automated test environment
53.
automated test pattern generation
54.
automated theorem proving
55.
automated urine particle analyzer
56.
automated vehicle
57.
automated vehicles
58.
complex automated systems
59.
connected and automated mobility
60.
connected automated vehicles
61.
connected-and-automated mobility
62.
connected-automated mobility
63.
intelligent Automated Inspection
64.
nonlinear automated vehicles
×
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