عنوان
پدید آورنده
موضوع
رده
267.3 .M57
267
.
3
.
M57
کتابخانه
محل استقرار
عنوان و نام پديدآور
نام نخستين پديدآور
Mirkowska-Salwicka, Grazyna
عنوان اصلي
Algorithmic logic
وضعیت نشر و پخش و غیره
تاریخ نشرو بخش و غیره
c1987
نام ناشر، پخش کننده و غيره
D. Reidel Pub. Co. ; Warszawa : PWN-Polish Scientific Publishers ; Norwell, MA, U.S.A. : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Formal languages►Algorithms►Logic, Symbolic and mathematical
رده بندی کنگره
نشانه اثر
267
.
3
شماره رکورد رده بندي
.
M57
