Fuzzy Automata and Languages, Mordeson, John N. , Malik, Davender S.
Автор: Nederpelt Название: Type Theory and Formal Proof ISBN: 110703650X ISBN-13(EAN): 9781107036505 Издательство: Cambridge Academ Рейтинг: Цена: 10611.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to researchers.
Автор: Dutilh Novaes Название: Formal Languages in Logic ISBN: 110746031X ISBN-13(EAN): 9781107460317 Издательство: Cambridge Academ Рейтинг: Цена: 5069.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents a new approach to formal languages, in particular but not exclusively as used in logic. Focuses on their cognitive impact on human reasoning, drawing on historical developments, psychology, cognitive science and philosophy. For students and researchers in the areas of logic and computer science.
Автор: Chubb Название: Logic and Algebraic Structures in Quantum Computing ISBN: 110703339X ISBN-13(EAN): 9781107033399 Издательство: Cambridge Academ Рейтинг: Цена: 21226.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this international cross-disciplinary collaboration, leading experts explore connections across their respective fields. The book offers an insight into the fundamental questions in quantum theory and logic, which will appeal to many researchers and graduate students including logicians, mathematicians, computer scientists, and physicists.
Автор: Giorgio Ausiello; Mariangiola Dezani-Ciancaglini; Название: Automata, Languages and Programming ISBN: 354051371X ISBN-13(EAN): 9783540513711 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 11-15, 1989. ICALP 89 is the 16th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS).
Автор: Laurent Kott Название: Automata, Languages and Programming ISBN: 3540167617 ISBN-13(EAN): 9783540167617 Издательство: Springer Рейтинг: Цена: 6567.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Garson Название: Modal Logic for Philosophers ISBN: 1107609526 ISBN-13(EAN): 9781107609525 Издательство: Cambridge Academ Рейтинг: Цена: 6018.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides philosophers with an accessible yet technically sound treatment of modal logic and its philosophical applications. This second edition contains a new chapter on logics of conditionals, an updated and expanded bibliography, and is updated throughout. A number of technical results have also been clarified and streamlined.
Автор: Gemma Bel-Enguix; M Dolores Jim?nez-L?pez; Carlos Название: New Developments in Formal Languages and Applications ISBN: 3642096964 ISBN-13(EAN): 9783642096969 Издательство: Springer Рейтинг: Цена: 19589.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The theory of formal languages is widely recognized as the backbone of theoretical computer science, originating from mathematics and generative linguistics, among others.
Автор: Holt, Derek F. Rees, Sarah Rover, Claas E. Название: Groups, languages and automata ISBN: 1107152356 ISBN-13(EAN): 9781107152359 Издательство: Cambridge Academ Рейтинг: Цена: 17424.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Many connections exist between group theory and automata theory, and a wide variety of them are discussed in this text. Any necessary background material is provided, and connections are explored along a number of strands that lead to the forefront of current research in geometric group theory.
Автор: Holt, Derek F. Rees, Sarah Rover, Claas E. Название: Groups, languages and automata ISBN: 131660652X ISBN-13(EAN): 9781316606520 Издательство: Cambridge Academ Рейтинг: Цена: 6019.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Many connections exist between group theory and automata theory, and a wide variety of them are discussed in this text. Any necessary background material is provided, and connections are explored along a number of strands that lead to the forefront of current research in geometric group theory.
Описание: Consists of papers selected from the presentations at the workshop and includes mainly recent developments in the fields of formal languages, automata theory and algebraic systems related to the theoretical computer science and informatics. This book covers the areas such as automata and grammars, languages and codes, and logics and trees.
Автор: G. Ausiello; C. B?hm Название: Automata, Languages and Programming ISBN: 3540088601 ISBN-13(EAN): 9783540088608 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: S. Even; O. Kariv Название: Automata, Languages and Programming ISBN: 3540108432 ISBN-13(EAN): 9783540108436 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru