请输入您要查询的英文单词:

 

单词 bertrand
释义

Bertrand


Bertrand

(Named after the British mathematician Bertrand Russell(1872-1970)). Wm. Leler. Rule-based specification languagebased on augmented term rewriting. Used to implementconstraint languages. The user must explicitly specify thetree-search and the constraint propagation.

ftp://nexus.yorku.ca/pub/scheme/scm/bevan.shar.

["Constraint Programming Languages - Their Specification andGeneration", W. Leler, A-W 1988, ISBN 0-201-06243-7].

Bertrand


Ber·trand

(bār-trahn'), Ivan Georges, 20th-century Belgian neurologist. See: Canavan-van Bogaert-Bertrand disease.
随便看

 

英语词典包含2567994条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2024/11/11 19:03:35