标题：    amp；amp；阿提特：程序和证明的正式开发   amp；amp；奥拉斯特：迪杰斯特拉   amp；amp；日期：1990   amp；amp；体裁：书   amp；amp；身份证件：194510   amp；amp；isbn：{“编号”：“0-201-17237-2”}   amp；amp；页：十四、 第242页。   sid：FIZ卡尔斯鲁厄：zbMATH

× Entschuldigung公司：我们知道这不是一个自动的图书馆。
Bitte verwenden Sie das nachstehende Suchformular order die Karte，um Ihre Heimateinrichtung auszuwählen。