Perennial长期的
发表于 2025-3-25 04:34:10
http://reply.papertrans.cn/17/1666/166539/166539_21.png
诱导
发表于 2025-3-25 11:17:44
http://reply.papertrans.cn/17/1666/166539/166539_22.png
猛击
发表于 2025-3-25 11:45:10
Globalisation and its DiscontentsIn diesem Abschnitt werden als Ergänzung zur fest vorgegebenen Transformationsstrategie, die das Synthesesystem verfolgt, die Heuristiken beschrieben, die die Auswahl der Transformationsregeln und ihre Bewertung in den einzelnen Phasen des Syntheseprozesses steuern.
不吉祥的女人
发表于 2025-3-25 17:58:30
Globalisation and its DiscontentsIn diesem Abschnitt soll noch einmal an einigen ausgewählten Beispielen die Leistungsfähigkeit des Verfahrens generell, sowie die seiner Realisierung als automatisches Synthesesystem gezeigt werden.
SOB
发表于 2025-3-26 00:04:14
,Einführung,Eines der ältesten Teilgebiete der künstlichen Intelligenz beschäftigt sich mit der Mechanisierung einer menschlichen Tätigkeit, die ein hohes Maß an Intelligenz und Kreativität erfordert: dem automatischen Beweisen mathematischer Sätze.
nitroglycerin
发表于 2025-3-26 01:04:41
,Übersicht,Die Arbeit gliedert sich in einen theoretischen und einen praxisbezogenen Teil. Im erstgenannten (er umfaßt die Kapitel 3, 4 und 5) wird der Synthesekalkül definiert; der zweite Teil (Kapitel 7 und 8) beschreibt die Strategien und Heuristiken, die notwendig sind, um auf dieser Basis eine automatisch arbeitende Systemkomponente zu entwickeln.
不透明
发表于 2025-3-26 05:37:18
Formale Grundbegriffe,Dieser Abschnitt führt die zentralen logischen Grundbegriffe und Schreibweisen ein, die in den nachfolgenden Abschnitten Verwendung finden.
我不重要
发表于 2025-3-26 10:12:14
Heuristiken,In diesem Abschnitt werden als Ergänzung zur fest vorgegebenen Transformationsstrategie, die das Synthesesystem verfolgt, die Heuristiken beschrieben, die die Auswahl der Transformationsregeln und ihre Bewertung in den einzelnen Phasen des Syntheseprozesses steuern.
迷住
发表于 2025-3-26 13:21:21
Beispiele,In diesem Abschnitt soll noch einmal an einigen ausgewählten Beispielen die Leistungsfähigkeit des Verfahrens generell, sowie die seiner Realisierung als automatisches Synthesesystem gezeigt werden.
cardiac-arrest
发表于 2025-3-26 18:19:36
http://reply.papertrans.cn/17/1666/166539/166539_30.png