Combinatorics, Computability and Logic : Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (Dmtcs '01). Cet article n’est pas disponible.
Langue : anglais
Edité par Springer, 2001
- Livre broché
- Neuf
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Vendeur avec une évaluation de 5 étoiles
Vendeur AbeBooks depuis 6 avril 2009
Indisponible
Livre broché
Etat: Neuf
EUR 140,43
N° de réf. du vendeur 890851-n
- Titre
- Combinatorics, Computability and Logic : Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (Dmtcs '01)
- Auteur
- Calude, Cristian S. (EDT); Dinneen, M. J. (EDT); Sburlan, Silviu (EDT)
- Éditeur
- Springer
- Année de publication
- 2001
- État de l'article
- New
- Reliure
- Couverture souple
- Langue
- anglais
- ISBN à 10 chiffres
- 1852335262
- ISBN à 13 chiffres
- 9781852335267
This volume contains the papers presented at the Third Discrete Mathematics and Theoretical Computer Science Conference (DMTCS1), which was held at 'Ovidius'University Constantza, Romania in July 2001.
The conference was open to all areas of discrete mathematics and theoretical computer science, and the papers contained within this volume cover topics such as: abstract data types and specifications; algorithms and data structures; automata and formal languages; computability, complexity and constructive mathematics; discrete mathematics, combinatorial computing and category theory; logic, nonmonotonic logic and hybrid systems; molecular computing.
The conference was open to all areas of discrete mathematics and theoretical computer science, and the papers contained within this volume cover topics such as: abstract data types and specifications; algorithms and data structures; automata and formal languages; computability, complexity and constructive mathematics; discrete mathematics, combinatorial computing and category theory; logic, nonmonotonic logic and hybrid systems; molecular computing.
« Synopsis » peut appartenir à une autre édition de cet ouvrage.
Présentation de l'éditeur
This volume contains the papers presented at the Third Discrete Mathematics and Theoretical Computer Science Conference (DMTCS1), which was held at 'Ovidius'University Constantza, Romania in July 2001.
The conference was open to all areas of discrete mathematics and theoretical computer science, and the papers contained within this volume cover topics such as: abstract data types and specifications; algorithms and data structures; automata and formal languages; computability, complexity and constructive mathematics; discrete mathematics, combinatorial computing and category theory; logic, nonmonotonic logic and hybrid systems; molecular computing.
The conference was open to all areas of discrete mathematics and theoretical computer science, and the papers contained within this volume cover topics such as: abstract data types and specifications; algorithms and data structures; automata and formal languages; computability, complexity and constructive mathematics; discrete mathematics, combinatorial computing and category theory; logic, nonmonotonic logic and hybrid systems; molecular computing.
« A propos de ce titre » peut appartenir à une autre édition de cet ouvrage.