Traducción Alemán-Inglés para "resolution theorem proving"

"resolution theorem proving" en Inglés

Se refiere a Theorem, Revolution, Provinz o Sampling-Theorem?

resolution

[rezəˈluːʃən; -ˈljuː-]noun | Substantiv s

Vista general de todas las traducciones

(Para obtener más detalles de la traducción, hacer clic/pulsar)
Resolution, Entschließung Vorsatz Lösung Entschlossenheit, Entschiedenheit, Unbeirrbarkeit Auflösung DissonanzAuflösung Zerlegung ZuRückführung Zerlegung, Trennung, Spaltung, Auflösung Lösung Otras traducciones...
  • Resolutionfeminine | Femininum f
    resolution politics | PolitikPOL
    Entschließungfeminine | Femininum f
    resolution politics | PolitikPOL
    resolution politics | PolitikPOL
  • resolution → ver „concurrent resolution“
    resolution → ver „concurrent resolution“
  • resolution → ver „joint resolution“
    resolution → ver „joint resolution“
ejemplos
  • Vorsatzmasculine | Maskulinum m
    resolution decision
    resolution decision
ejemplos
  • to form (or | oderod make) a (firm) resolution to do s. th.
    sich (fest) vornehmen,something | etwas etwas zu tun
    to form (or | oderod make) a (firm) resolution to do s. th.
  • good resolutions
    gute Vorsätze
    good resolutions
  • Lösungfeminine | Femininum f
    resolution solving figurative(ly) | figurativ, in übertragenem Sinnfig
    resolution solving figurative(ly) | figurativ, in übertragenem Sinnfig
ejemplos
ejemplos
  • Auflösungfeminine | Femininum f (into inaccusative (case) | Akkusativ akk)
    resolution in optics, metricset cetera, and so on | etc., und so weiter etc
    resolution in optics, metricset cetera, and so on | etc., und so weiter etc
  • (Dissonanz)Auflösungfeminine | Femininum f
    resolution musical term | MusikMUS
    resolution musical term | MusikMUS
  • Zerlegungfeminine | Femininum f (into inaccusative (case) | Akkusativ akk)
    resolution breaking down, reduction
    resolution breaking down, reduction
ejemplos
  • resolution of forces physics | PhysikPHYS
    Kräftezerlegung
    resolution of forces physics | PhysikPHYS
  • method of resolution
    analytische Methode
    method of resolution
  • resolution of a picture engineering | TechnikTECH
    Rasterung eines Bildes
    resolution of a picture engineering | TechnikTECH
  • (Zu)Rückführungfeminine | Femininum f (into inaccusative (case) | Akkusativ akk to aufaccusative (case) | Akkusativ akk)
    resolution to simpler form
    resolution to simpler form
  • Zerlegungfeminine | Femininum f
    resolution chemistry | ChemieCHEM
    Trennungfeminine | Femininum f
    resolution chemistry | ChemieCHEM
    Spaltungfeminine | Femininum f
    resolution chemistry | ChemieCHEM
    Auflösungfeminine | Femininum f
    resolution chemistry | ChemieCHEM
    resolution chemistry | ChemieCHEM
ejemplos
  • (flüssige) Lösung
    resolution rare | seltenselten (liquid solution)
    resolution rare | seltenselten (liquid solution)
  • Lösungfeminine | Femininum f
    resolution medicine | MedizinMED of pneumoniaet cetera, and so on | etc., und so weiter etc
    Resolutionfeminine | Femininum f
    resolution medicine | MedizinMED of pneumoniaet cetera, and so on | etc., und so weiter etc
    resolution medicine | MedizinMED of pneumoniaet cetera, and so on | etc., und so weiter etc
  • Zerteilungfeminine | Femininum f
    resolution medicine | MedizinMED of tumour
    resolution medicine | MedizinMED of tumour
  • resolution syn vgl. → ver „courage“
    resolution syn vgl. → ver „courage“

Resolution

[rezoluˈtsɪ̆oːn]Femininum | feminine f <Resolution; Resolutionen>

Vista general de todas las traducciones

(Para obtener más detalles de la traducción, hacer clic/pulsar)
resolution petition resolution
  • resolution
    Resolution besonders Politik | politicsPOL
    Resolution besonders Politik | politicsPOL
ejemplos
  • petition
    Resolution Bittschrift
    Resolution Bittschrift
  • resolution
    Resolution Medizin | medicineMED einer Lungenentzündung etc
    Resolution Medizin | medicineMED einer Lungenentzündung etc

uniqueness

noun | Substantiv s

Vista general de todas las traducciones

(Para obtener más detalles de la traducción, hacer clic/pulsar)
Einzigartig-, Einmaligkeit Eindeutigkeit
  • Einzigartig-, Einmaligkeitfeminine | Femininum f
    uniqueness
    uniqueness
  • Eindeutigkeitfeminine | Femininum f
    uniqueness mathematics mathematics | Mathematik MathematikMATH
    uniqueness mathematics mathematics | Mathematik MathematikMATH
ejemplos

prove

[pruːv]transitive verb | transitives Verb v/t <preterite, (simple) past tense | Präteritum, Vergangenheitprätand | und u.past participle | Partizip Perfekt pperf proved, provenpreterite, (simple) past tense | Präteritum, Vergangenheit prätand | und u.past participle | Partizip Perfekt pperf proved, proven obsolete | obsolet, begrifflich veraltetobs [ˈpruːvən] [ˈprou-]>

Vista general de todas las traducciones

(Para obtener más detalles de la traducción, hacer clic/pulsar)
nachweisen, beweisen, bestätigen, belegen beglaubigen bekunden, unter Beweis stellen, zeigen prüfen, erproben, einer MaterialPrüfung unterziehen beweisen, nachweisen die Probe machen auf einen ProbeAbzug machen von aufgehen lassen
ejemplos
  • beglaubigen
    prove legal term, law | RechtswesenJUR will
    prove legal term, law | RechtswesenJUR will
  • prüfen
    prove testalso | auch a. mathematics mathematics | Mathematik MathematikMATH
    erproben, einer (Material)Prüfung unterziehen
    prove testalso | auch a. mathematics mathematics | Mathematik MathematikMATH
    prove testalso | auch a. mathematics mathematics | Mathematik MathematikMATH
ejemplos
  • a proved remedy especially | besondersbesonders American English | amerikanisches EnglischUS
    ein erprobtesor | oder od bewährtes Mittel
    a proved remedy especially | besondersbesonders American English | amerikanisches EnglischUS
  • beweisen, nachweisen
    prove chemistry | ChemieCHEM engineering | TechnikTECH
    prove chemistry | ChemieCHEM engineering | TechnikTECH
ejemplos
  • die Probe machen auf (accusative (case) | Akkusativakk)
    prove mathematics mathematics | Mathematik MathematikMATH
    prove mathematics mathematics | Mathematik MathematikMATH
  • einen (Probe)Abzug machen von
    prove BUCHDRUCK
    prove BUCHDRUCK
  • aufgehen lassen
    prove rare | seltenselten doughet cetera, and so on | etc., und so weiter etc
    prove rare | seltenselten doughet cetera, and so on | etc., und so weiter etc

prove

[pruːv]reflexive verb | reflexives Verb v/r <preterite, (simple) past tense | Präteritum, Vergangenheitprätand | und u.past participle | Partizip Perfekt pperf proved, provenpreterite, (simple) past tense | Präteritum, Vergangenheit prätand | und u.past participle | Partizip Perfekt pperf proved, proven obsolete | obsolet, begrifflich veraltetobs [ˈpruːvən] [ˈprou-]>

Vista general de todas las traducciones

(Para obtener más detalles de la traducción, hacer clic/pulsar)
sich erweisen als
ejemplos

prove

[pruːv]intransitive verb | intransitives Verb v/i <preterite, (simple) past tense | Präteritum, Vergangenheitprätand | und u.past participle | Partizip Perfekt pperf proved, provenpreterite, (simple) past tense | Präteritum, Vergangenheit prätand | und u.past participle | Partizip Perfekt pperf proved, proven obsolete | obsolet, begrifflich veraltetobs [ˈpruːvən] [ˈprou-]>

Vista general de todas las traducciones

(Para obtener más detalles de la traducción, hacer clic/pulsar)
sich herausstellen erweisen sich bestätigen bewähren als ausfallen, sich ergeben probieren Otros ejemplos...
  • sich herausstellenor | oder od erweisen (to be alsor | oder od dass… istet cetera, and so on | etc., und so weiter etc)
    prove
    prove
ejemplos
ejemplos
  • probieren
    prove try obsolete | obsolet, begrifflich veraltetobs
    prove try obsolete | obsolet, begrifflich veraltetobs
ejemplos
  • prove up prove one’s right American English | amerikanisches EnglischUS
    beweisen, dass man ein Recht hat (on aufaccusative (case) | Akkusativ akk)
    prove up prove one’s right American English | amerikanisches EnglischUS
  • prove up prove that one has fulfilled all legal requirements American English | amerikanisches EnglischUS
    nachweisen, dass man alle gesetzlichen Voraussetzungen (für den Erwerb von Staatsländereien) erfüllt hat
    prove up prove that one has fulfilled all legal requirements American English | amerikanisches EnglischUS

proving

[ˈpruːviŋ]noun | Substantiv s

Vista general de todas las traducciones

(Para obtener más detalles de la traducción, hacer clic/pulsar)
Prüfen, Erproben, Erprobung Beweisführung Gehen
  • Prüfenneuter | Neutrum n
    proving especially | besondersbesonders engineering | TechnikTECH testing
    Erprobenneuter | Neutrum n
    proving especially | besondersbesonders engineering | TechnikTECH testing
    Erprobungfeminine | Femininum f
    proving especially | besondersbesonders engineering | TechnikTECH testing
    proving especially | besondersbesonders engineering | TechnikTECH testing
ejemplos
  • Beweisführungfeminine | Femininum f
    proving legal term, law | RechtswesenJUR
    proving legal term, law | RechtswesenJUR
ejemplos
  • Gehenneuter | Neutrum n
    proving of bread
    proving of bread

resolutive

[-tiv]adjective | Adjektiv adj

Vista general de todas las traducciones

(Para obtener más detalles de la traducción, hacer clic/pulsar)
auflösend, zerteilend auflösend
  • auflösend, zerteilend
    resolutive especially | besondersbesonders medicine | MedizinMED
    resolutive especially | besondersbesonders medicine | MedizinMED
  • auflösend
    resolutive legal term, law | RechtswesenJUR
    resolutive legal term, law | RechtswesenJUR

resolutive

[-tiv]noun | Substantiv s

Vista general de todas las traducciones

(Para obtener más detalles de la traducción, hacer clic/pulsar)
zerteilendes entzündungshemmendes Mittel, Solvens
  • zerteilendesor | oder od entzündungshemmendes Mittel, Solvensneuter | Neutrum n
    resolutive medicine | MedizinMED
    resolutive medicine | MedizinMED

residue

[ˈrezidjuː; -zə-] American English | amerikanisches EnglischUSalso | auch a. [-du]noun | Substantiv s

Vista general de todas las traducciones

(Para obtener más detalles de la traducción, hacer clic/pulsar)
Rest Rückstand, Residuum, Rest, Boden-, Filtriersatz, Trester Residuum, Rest Reinnachlass Abfall
  • Restmasculine | Maskulinum m
    residue remainder
    residue remainder
  • Rückstandmasculine | Maskulinum m
    residue chemistry | ChemieCHEM engineering | TechnikTECH
    Residuumneuter | Neutrum n
    residue chemistry | ChemieCHEM engineering | TechnikTECH
    Restmasculine | Maskulinum m
    residue chemistry | ChemieCHEM engineering | TechnikTECH
    Boden-, Filtriersatzmasculine | Maskulinum m
    residue chemistry | ChemieCHEM engineering | TechnikTECH
    Trestermasculine | Maskulinum m
    residue chemistry | ChemieCHEM engineering | TechnikTECH
    Abfallmasculine | Maskulinum m
    residue chemistry | ChemieCHEM engineering | TechnikTECH
    residue chemistry | ChemieCHEM engineering | TechnikTECH
  • (of molecule) Teil (especially | besondersbesonders anorganischer Bestandteil) eines Moleküls, der beim Abbau übrig bleibt
    residue chemistry | ChemieCHEM
    residue chemistry | ChemieCHEM
  • Residuumneuter | Neutrum n
    residue mathematics mathematics | Mathematik MathematikMATH
    Restmasculine | Maskulinum m
    residue mathematics mathematics | Mathematik MathematikMATH
    residue mathematics mathematics | Mathematik MathematikMATH
ejemplos
  • Reinnachlassmasculine | Maskulinum m (Nachlass nach Abzug von Schuldenand | und u. Vermächtnissen)
    residue legal term, law | RechtswesenJUR of estate
    residue legal term, law | RechtswesenJUR of estate

scienter

[saiˈentə(r)]adverb | Adverb adv Lat.

Vista general de todas las traducciones

(Para obtener más detalles de la traducción, hacer clic/pulsar)
wissentlich, mit Wissen
  • wissentlich, mit Wissen
    scienter legal term, law | RechtswesenJUR
    scienter legal term, law | RechtswesenJUR

scienter

[saiˈentə(r)]noun | Substantiv s Lat.

Vista general de todas las traducciones

(Para obtener más detalles de la traducción, hacer clic/pulsar)
Wissentlichkeit, wissentliche bewusste Handlung
  • Wissentlichkeitfeminine | Femininum f
    scienter
    wissentlicheor | oder od bewusste Handlung
    scienter
    scienter
ejemplos

theorem

[ˈθi(ː)ərəm]noun | Substantiv s

Vista general de todas las traducciones

(Para obtener más detalles de la traducción, hacer clic/pulsar)
Theorem, Grund-, LehrSatz
  • Theoremneuter | Neutrum n
    theorem mathematics mathematics | Mathematik MathematikMATH philosophy | PhilosophiePHIL
    (Grund-, Lehr)Satzmasculine | Maskulinum m
    theorem mathematics mathematics | Mathematik MathematikMATH philosophy | PhilosophiePHIL
    theorem mathematics mathematics | Mathematik MathematikMATH philosophy | PhilosophiePHIL
ejemplos

resolutely

[ˈrezəluːtlɪ]adverb | Adverb adv

Vista general de todas las traducciones

(Para obtener más detalles de la traducción, hacer clic/pulsar)
entschieden
ejemplos
  • to be resolutely opposed tosomething | etwas sth
    entschieden gegensomething | etwas etwas sein
    to be resolutely opposed tosomething | etwas sth