Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Chinese Taiwan
Chinese simplified
Czech
French
German
Italian
Japanese
Korean
Polish
Russian
Spanish
Turkish
Terms
for subject
Artificial intelligence
containing
resolution strategy
|
all forms
|
in specified order only
English
German
anaphora resolution
Anapherauflösung
anaphora resolution
Anapherresolution
axiom-
resolution strategy
Axiom-Resolutions-Strategie
binary resolution
binäre Auflösung
binary resolution
binäre Resolution
camera resolution
Auflösung einer Kamera
conflict-
resolution strategy
Konfliktlösungsstrategie
event-driven conflict resolution
datengesteuerte Konfliktlösung
event-driven conflict resolution
ereignisgesteuerte Konfliktlösung
general resolution
allgemeine Resolution
ground resolution
Basisresolution
linear resolution
lineare Resolution
(beim Theorembeweisen)
linear resolution with selection function
SL-Resolution
linear resolution with selection function
lineare Resolution mit Selektionsfunktion
linear resolution with selection function for definite clauses
SLD-Resolution
linear resolution with selection function for definite clauses
lineare Resolution mit Selektionsfunktion für definite Klauseln
lock resolution
Lock-Resolution
(Resolutionsstrategie)
refraction conflict-
resolution strategy
Refraktärstrategie der Konfliktlösung
resolution calculus
Resolutionskalkül
resolution method
Resolutionsmethode
resolution of depth
Tiefenauflösung
resolution principle
Auflösungsprinzip
resolution principle
Resolutionsprinzip
resolution refutation
Widerlegung durch Resolution
resolution refutation strategy
Resolutions-Widerlegungs-Strategie
resolution rule
Resolutionsregel
resolution strategy
Resolutionsstrategie
(in der Prädikatenlogik)
resolution system
Resolutionssystem
resolution theorem prover
Resolutionstheorembeweiser
resolution theorem proving
Resolutionstheorembeweisen
resolution-based theorem prover
nach dem Resolutionsprinzip arbeitender automatischer Beweiser
resolution-based theorem prover
Resolutionstheorembeweiser
selected linear definite resolution
SLD-Resolution
selected linear definite resolution
lineare Resolution mit Selektionsfunktion für definite Klauseln
selected linear resolution
SL-Resolution
selected linear resolution
lineare Resolution mit Selektionsfunktion
semantic resolution
semantische Resolution
set-of-support resolution
Stützmengenresolution
SL resolution
SL-Resolution
SL resolution
lineare Resolution mit Selektionsfunktion
SLD resolution
SLD-Resolution
SLD resolution
lineare Resolution mit Selektionsfunktion für definite Klauseln
specificity conflict-
resolution strategy
Spezifitätsstrategie zur Lösung von Konflikten
unit resolution
Einer-Resolution
unit resolution
Einer-Klausel-Resolution
Get short URL