德语 » 英语

词条„Automated Reasoning“在德语 » 英语中的译文

(跳至 英语 » 德语)

互联网提供的例句(未经PONS编辑处理)

"

Die Verleihung des Preises findet am 7. Juli 2004 im Rahmen der " International Joint Conference on Automated Reasoning " in Cork ( Irland ) statt .

domino.mpi-inf.mpg.de

"

The Herbrand Award will be presented at the " International Joint Conference on Automated Reasoning " in Cork ( Ireland ) on July 7 , 2004. Uwe Waldmann .

domino.mpi-inf.mpg.de

互联网提供的例句(未经PONS编辑处理)

"

The Herbrand Award will be presented at the " International Joint Conference on Automated Reasoning " in Cork ( Ireland ) on July 7 , 2004. Uwe Waldmann .

domino.mpi-inf.mpg.de

"

Die Verleihung des Preises findet am 7. Juli 2004 im Rahmen der " International Joint Conference on Automated Reasoning " in Cork ( Irland ) statt .

domino.mpi-inf.mpg.de

您想添加一个词、一个短语或一段译文吗?

请发送新条目。

语言 Deutsch | Български | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski | Türkçe | 中文