Logical Effort, Sutherland, Ivan

Автор: Plato
Название: Elements of Logical Reasoning
ISBN: 110761077X ISBN-13(EAN): 9781107610774
Издательство: Cambridge Academ
Рейтинг:
Цена: 3802.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is an accessible and scientifically rigorous introduction to the principles of logical reasoning, covering many topics including the deductive machinery of metalogic, otherwise known as the nature and function of proofs. It will be valuable to students of logic, mathematics and computer science.

Автор: Tyagi, Kirti , Seth, Ashish , Tripathi, Aprna
Название: Component-Based Systems
ISBN: 0367856093 ISBN-13(EAN): 9780367856090
Издательство: Taylor&Francis
Рейтинг:
Цена: 23734.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In order to survive in highly competitive market conditions and in a world of fast evolving technologies, businesses try hard to meet user needs along with keeping with the assurance of high-quality software. Soft computing techniques used to estimate the efforts that are invested in component-based software is a relatively new field of study.

Автор: Tyagi, Kirti , Seth, Ashish , Tripathi, Aprna
Название: Component-Based Systems
ISBN: 0367441756 ISBN-13(EAN): 9780367441753
Издательство: Taylor&Francis
Рейтинг:
Цена: 8573.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In order to survive in highly competitive market conditions and in a world of fast evolving technologies, businesses try hard to meet user needs along with keeping with the assurance of high-quality software. Soft computing techniques used to estimate the efforts that are invested in component-based software is a relatively new field of study.

Автор: Hoogendoorn Iwan
Название: Getting Started with Nsx-T: Logical Routing and Switching: The Basic Principles of Building Software-Defined Network Architectures with Vmware Nsx-T
ISBN: 1484267079 ISBN-13(EAN): 9781484267073
Издательство: Springer
Цена: 6707.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Intermediate-Advanced user level

Автор: Alain Lecomte; Francois Lamarche; Guy Perrier
Название: Logical Aspects of Computational Linguistics
ISBN: 3540657517 ISBN-13(EAN): 9783540657514
Издательство: Springer
Рейтинг:
Цена: 8537.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text presents the refereed proceedings of the Second International Conference on Logical Aspects of Computational Linguistics. Among the topics covered are type theory, various types of grammars, linear logic, parsing, type directed natural language processing and proof theoretic aspects.

Автор: Christian Retore
Название: Logical Aspects of Computational Linguistics
ISBN: 3540637001 ISBN-13(EAN): 9783540637004
Издательство: Springer
Рейтинг:
Цена: 10610.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume presents 18 full papers, four invited contributions and an introductory survey. The papers cover relevant logical aspects of computational linguistics like logical inference, grammars, logical semantics, natural language processing, formal proofs, logic programming and type theory.

Автор: H?jek
Название: G?del `96
ISBN: 1107168023 ISBN-13(EAN): 9781107168022
Издательство: Cambridge Academ
Рейтинг:
Цена: 17581.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The proceedings of the conference `Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Goedel`s Legacy`, held in Brno, Czech Republic, on the 90th anniversary of Goedel`s birth. The papers in this volume cover the wide range of topics Goedel`s work touched, and affirm its continuing importance.

Автор: Plato
Название: Elements of Logical Reasoning
ISBN: 1107036593 ISBN-13(EAN): 9781107036598
Издательство: Cambridge Academ
Рейтинг:
Цена: 12355.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is an accessible and scientifically rigorous introduction to the principles of logical reasoning, covering many topics including the deductive machinery of metalogic, otherwise known as the nature and function of proofs. It will be valuable to students of logic, mathematics and computer science.

Автор: Garson
Название: Modal Logic for Philosophers
ISBN: 1107609526 ISBN-13(EAN): 9781107609525
Издательство: Cambridge Academ
Рейтинг:
Цена: 6336.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.

Автор: Garson
Название: Modal Logic for Philosophers
ISBN: 1107029554 ISBN-13(EAN): 9781107029552
Издательство: Cambridge Academ
Рейтинг:
Цена: 15682.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.