Online dictionary - over 2 million references

    Online Dictionary
          Chinese to English
          English
                to Chinese
                to French
                to German
                to Italian
                to Japanese
                to Latin
                to Russian
                to Spanish
                to Swedish
          French to English
          German
                to English
                to Japanese
          Italian to English
          Japanese
                to English
                to German
          Latin to English
          Russian to English
          Spanish to English
          Swedish to English

If you can't find the translation you need, try our free translation











Online dictionary - over 2 million references
 






1. 结合的推理规则A做法已知的事实生产“推断”新的事实。 例如给出那1。 Socrates是一个人，并且那2个。所有人motal，我们能推断Socrates是临死的。 这使用规则以“在布尔代数可以被写的方法ponens著名”

ABCDEFGHIJKLMNOPQRSTUVWXYZ

2008 Online-Dictionary.biz. All rights reserved. By using this website you agree to be bound by our terms and conditions.
All content on this website is property of LocalTranslation unless stated otherwise.