» książki » Mathematics - Logic
topmenu
 |
Relational Topology
ISBN: 9783319744506 / Angielski / Miękka / 194 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book introduces and develops new algebraic methods to work with relations, often conceived as Boolean matrices, and applies them to topology.
This book introduces and develops new algebraic methods to work with relations, often conceived as Boolean matrices, and applies them to topology.
|
cena:
201,24 |
 |
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
ISBN: 9783319747712 / Angielski / Twarda / 454 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
483,04 |
 |
Modeling Companion for Software Practitioners
ISBN: 9783662566398 / Angielski / Miękka / 349 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
261,63 |
 |
Introduction to Formal Philosophy
ISBN: 9783319774336 / Angielski / Twarda / 733 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This Undergraduate Textbook introduces key methods and examines the major areas of philosophy in which formal methods play pivotal roles.
This Undergraduate Textbook introduces key methods and examines the major areas of philosophy in which formal methods play pivotal roles.
|
cena:
483,04 |
 |
Cool japanese puzzles (Volume 5)
ISBN: 9781985758902 / Angielski / Miękka / 114 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
48,55 |
 |
Graph Structures for Knowledge Representation and Reasoning: 5th International Workshop, Gkr 2017, Melbourne, Vic, Australia, August 21, 2017, Revised
ISBN: 9783319781013 / Angielski / Miękka / 139 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2017, held in Melbourne, VIC, Australia, in August 2017, associated with IJCAI 2017, the 26th International Joint Conference on Artificial Intelligence.
This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Workshop on Graph Structures for Knowledge Represen...
|
cena:
169,08 |
 |
Exploring Meinong's Jungle and Beyond: The Sylvan Jungle - Volume 1
ISBN: 9783319787916 / Angielski / Twarda / 620 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
603,81 |
 |
Semigroups in Complete Lattices: Quantales, Modules and Related Topics
ISBN: 9783319789477 / Angielski / Twarda / 326 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. With exercises and historical remarks at the end of each chapter, this self-contained book provides readers with a valuable source of references and hints for future research.This book will appeal to researchers across mathematics and computer science with an interest in category theory, lattice theory, and many-valued logic.
With exercises and historical remarks at the end of each chapter, this self-contained book provides readers with a valuable source of references and h...
|
cena:
483,04 |
 |
Classic Set Theory: For Guided Independent Study
ISBN: 9781138466913 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
1004,03 |
 |
Causality, Probability, and Time
ISBN: 9781107686014 / Angielski / Miękka / 267 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Presents a new approach to causal inference and explanation, addressing both the timing and complexity of relationships.
Presents a new approach to causal inference and explanation, addressing both the timing and complexity of relationships.
|
cena:
182,62 |
 |
Turing's Revolution: The Impact of His Ideas about Computability
ISBN: 9783319793801 / Angielski / Miękka / 331 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
483,04 |
 |
On Logical, Algebraic, and Probabilistic Aspects of Fuzzy Set Theory
ISBN: 9783319804316 / Angielski / Miękka / 275 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
402,53 |
 |
Griddlers Logic Puzzles: Black and White
ISBN: 9789657679517 / Angielski / Miękka / 110 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
72,83 |
 |
Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level
ISBN: 9783319911489 / Angielski / Twarda / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Abstract State Machines, Alloy, B, Tla, VDM, and Z: 6th International Conference, Abz 2018, Southampton, Uk, June 5-8, 2018, Proceedings
ISBN: 9783319912707 / Angielski / Miękka / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.
This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, he...
|
cena:
201,24 |
 |
Diagrammatic Representation and Inference: 10th International Conference, Diagrams 2018, Edinburgh, Uk, June 18-22, 2018, Proceedings
ISBN: 9783319913759 / Angielski / Miękka / 831 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 10th International Conference on the Theory and Application of Diagrams, Diagrams 2018, held in Edinburgh, UK, in June 2018. The 26 revised full papers and 28 short papers presented together with 32 posters were carefully reviewed and selected from 124 submissions.
This book constitutes the refereed proceedings of the 10th International Conference on the Theory and Application of Diagrams, Diagrams 2018, held in ...
|
cena:
402,53 |
 |
J. Michael Dunn on Information Based Logics
ISBN: 9783319805351 / Angielski / Miękka / 436 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
402,53 |
 |
Ultralogic as Universal?: The Sylvan Jungle - Volume 4
ISBN: 9783319919737 / Angielski / Twarda / 205 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A universal logic, Routley argues, enables us to go where no other logic-especially not classical logic-can.Routley provides an expansive and singular vision of how a universal logic might one day solve major problems in set theory, arithmetic, linguistics, physics, and more.
A universal logic, Routley argues, enables us to go where no other logic-especially not classical logic-can.Routley provides an expansive and singular...
|
cena:
342,14 |
 |
Advances in Experimental Philosophy of Logic and Mathematics
ISBN: 9781350039018 / Angielski / Twarda / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
538,76 |
 |
Logics for Computer Science: Classical and Non-Classical
ISBN: 9783319925905 / Angielski / Twarda / 535 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists.
Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for comput...
|
cena:
483,04 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
