Combinatorics, Computability and Logic: Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01): Discrete Mathematics and Theoretical Computer Science
Editat de C.S. Calude, M.J. Dinneen, S. Sburlanen Limba Engleză Paperback – 22 iun 2001
Preț: 614.11 lei
Preț vechi: 722.48 lei
-15%
Puncte Express: 921
Carte tipărită la comandă
Livrare economică 08-22 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9781852335267
ISBN-10: 1852335262
Pagini: 264
Ilustrații: X, 251 p.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.37 kg
Ediția:Softcover reprint of the original 1st ed. 2001
Editura: SPRINGER LONDON
Colecția Springer
Seria Discrete Mathematics and Theoretical Computer Science
Locul publicării:London, United Kingdom
ISBN-10: 1852335262
Pagini: 264
Ilustrații: X, 251 p.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.37 kg
Ediția:Softcover reprint of the original 1st ed. 2001
Editura: SPRINGER LONDON
Colecția Springer
Seria Discrete Mathematics and Theoretical Computer Science
Locul publicării:London, United Kingdom
V-ar putea interesa
-
Computing with Cells: Advances in Membrane ComputingPierluigi Frisco-34%Preț: 781.58 lei1175.95 lei -
Not Exactly: In Praise of VaguenessKees van Deemter-16%Preț: 116.77 lei139.45 lei -
Notes on Set TheoryYiannis MoschovakisPreț: 472.08 lei -
-15%Preț: 570.70 lei671.41 lei -
Inductive LogicDov M. Gabbay-27%Preț: 1229.14 lei1674.52 lei -
Mathematical LogicG Tourlakis-9%Preț: 670.08 lei736.36 lei -
Undecidable TheoriesAlfred TarskiPreț: 75.47 lei -
Multiple ForcingT. JechPreț: 319.08 lei -
Forcing with Random Variables and Proof ComplexityJan Krajíček-11%Preț: 406.63 lei456.89 lei -
Lectures in Logic and Set Theory: Volume 1, Mathematical LogicGeorge TourlakisPreț: 417.72 lei -
A Course in Model TheoryKatrin Tent-11%Preț: 475.42 lei534.19 lei -
Lambda Calculus with TypesHenk Barendregt-11%Preț: 628.07 lei705.69 lei -
Combinatorial Set Theory: With a Gentle Introduction to ForcingLorenz J. Halbeisen-19%Preț: 557.87 lei688.73 lei -
Introducing InfinityBrian CleggPreț: 63.51 lei -
-18%Preț: 1080.84 lei1318.10 lei -
Lattice Theory: Special Topics and ApplicationsGeorge Grätzer-15%Preț: 631.51 lei742.96 lei -
Duality Theories for Boolean Algebras with OperatorsSteven GivantPreț: 379.92 lei -
The Life and Work of Leon HenkinMaría ManzanoPreț: 383.55 lei -
-15%Preț: 689.64 lei811.34 lei
Public țintă
ResearchCuprins
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.