عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
1852335262
شابک
9781852335267
شماره کتابشناسی ملی
شماره
b537120
عنوان و نام پديدآور
عنوان اصلي
Combinatorics, computability and logic :
نام عام مواد
[Book]
ساير اطلاعات عنواني
proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS'01)
نام نخستين پديدآور
C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
©2001.
مشخصات ظاهری
نام خاص و کميت اثر
x, 251 p. ; 24 cm.
فروست
عنوان فروست
Discrete mathematics and theoretical computer science.
یادداشتهای مربوط به مندرجات
متن يادداشت
Invited papers.- Early Computer Science Adventures of a Mathematician.- Sequentially Continuity in Constructive Mathematics.- Recursive Functions: An Archeological Look.- The Number of Graphs and Digraphs with a Fixed Diameter and Connectivity.- Contributed papers.- Some Results for Some Conjectures in Addition Chains.- A Highly Random Number.- Dini's Theorem: A Constructive Case Study.- Even Linear Simple Matrix Languages: Formal Language Aspects.- Pseudo-BCK Algebras: An Extension of BCK Algebras.- P-Immune Sets with Holes Lack Self-Reducibility Properties.- Lex Ideals of Generalized MV-Algebras.- Armstrong Systems on Ordered Sets.- Unicycle Bipartite Graphs with Only Uniquely Restricted Maximum Matchings.- On Relax-ability of Word-Order by D-grammars.- On the Structure of Linear Cellular Automata.- Monotonically Computable Real Numbers.- Apartness as a Relation Between Subsets.- How Large is the Set of Disjunctive Sequences?.- A Loopless Generation of Bitstrings without p Consecutive Ones.- Greedy Algorithms for the Lower and Upper Chromatic Numbers.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Combinatorial analysis -- Congresses.
موضوع مستند نشده
Computational complexity -- Congresses.
موضوع مستند نشده
Logic, Symbolic and mathematical -- Congresses.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Cristian Calude
مستند نام اشخاص تاييد نشده
M J Dinneen
مستند نام اشخاص تاييد نشده
Silviu Sburlan
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
