In the annual world championship of theorem provers, the CADE ATP System Competition, the best of such computer programs compete against each other in different categories and try to solve as many as possible of 500 randomly selected problems.
In der jährlich stattfindenden Weltmeisterschaft solcher Theorembeweiser, der„CADE ATP System Competition", treten die besten Theorembeweiser in verschiedenen Kategorien gegeneinander an und versuchen, aus den 500 zufällig gewählten Problemen so viele wie möglich zu lösen.
On Philosophical and Social Problems of Cybernetics], currently there are such computer programs.
Über die philosophischen und gesellschaftlichen Probleme der Kybernetik], gibt's heutzutage solche Computerprogramme.
The interactive method rectied in claim 1 further comprising the steps of: determining whether a chain of computer application programs is resident in the computer system; and deleting a computer application program from a pre-existing chain of such computer programs.
Recording medium storage hierarchical information, device, system, method, and computer program, and recording medium storing such computer program
Aufzeichnungsmedium welches hierarchische Information speichert, Vorrichtung, System, Verfahren, und Cmputerprogramm zum Wiederauffinden von Information, und Aufzeichnungsmedium zum Speichern eines solchen Computerprogramms
AGCO makes no warranties respecting any harm that may be caused by the transmission of a computer virus, worm, time bomb, logic bomb, or other such computer program.
AGCO übernimmt keine Gewähr für Schäden, die durch die Übertragung eines Computervirus, eines Wurms, einer Zeitbombe, einer Logikbombe oder ähnlichen Computerprogrammen entstehen.
"FileFormation" makes no warranties respecting any harm that may be caused by the transmission of a computer virus, worm, time bomb, logic bomb, or other such computer program.
Torsten Hoffmann übernimmt keine Garantie hinsichtlich irgendwelcher Schäden, die durch die Übertragung eines Computervirus, Wurm, Zeitbombe, Logikbombe, Trojaner oder andere solche Computerprogramm verursacht werden können.
RUBBER MONKEY SOFTWARE LTD makes no warranties respecting any harm that may be caused by the transmission of a computer virus, worm, time bomb, logic bomb, or other such computer program.
Der HERSTELLER übernimmt keine Gewährleistung oder Garantie in Bezug auf jegliche Schäden, die durch die Übertragung von Schadsoftware (zum Beispiel Computervirus, -wurm, Trojaner etc.) verursacht werden können.
Emails can also contain harmful computer programs such as viruses, worms or Trojan horses.
This method was implemented in a computer program such that data sets can be generated automatically.
Dieses Qualitätskriterien wurden in einem Computerprogramm verwendet, welches automatisch einsetzbar ist.
Mention additional courses and special skills such as computer programs in which you are proficient.
Erwähnen Sie zusätzliche Ausbildung und besondere Fähigkeiten wie Computerprogramme, in der Sie kompetent sind.
Such a computer program may be stored in memory in particular the control and evaluation.
Ein solches Computerprogramm kann insbesondere in dem Speicher der Steuer- und Auswerteeinrichtung gespeichert sein.
The works are often paired with electronic materials, such as computer program files published to stochastics.
Die Arbeiten werden oft zusammen mit weiteren elektronischen Materialien, z.B. Dateien von Computerprogrammen zur Stochastik publiziert.
Contenu potentiellement sensible ou inapproprié
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.