逻辑抽象的英文

logical abstraction

• 逻辑:    logic
• 抽象:    abstract
• 抽象代数逻辑:    abstract algebraic ...

例句与用法

1. The language has a strong logic and can be applied easily . a famous electronic commerce protocol ? secure electornic transaction ( set ) is also simply introduced and abstracted . at last , the abstracted protocol is especially analyzed and verified completely by the new logic
   作者还简单介绍了著名的电子商务协议?安全电子交易( set )协议，并对其进行逻辑抽象，最后着重用提出的新逻辑对抽象化后的set协议进行了完全的分析与验证。