Condition: New. 1st ed. 2022 edition NO-PA16APR2015-KAP.
Condition: New.
Condition: New.
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 144.30
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 144.30
Quantity: Over 20 available
Add to basketCondition: New. In.
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 144.29
Quantity: Over 20 available
Add to basketCondition: New.
Condition: As New. Unread book in perfect condition.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 165.91
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Language: English
Published by Springer, Berlin|Springer International Publishing|Springer, 2022
ISBN 10: 3030916790 ISBN 13: 9783030916794
Seller: moluna, Greven, Germany
Gebunden. Condition: New.
Language: English
Published by Springer, Berlin|Springer International Publishing|Springer, 2023
ISBN 10: 3030916820 ISBN 13: 9783030916824
Seller: moluna, Greven, Germany
Condition: New.
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 380 | Sprache: Englisch | Produktart: Bücher | This volume offers the reader a systematic and throughout account of branches of logic instrumental for computer science, data science and artificial intelligence. Addressed in it are propositional, predicate, modal, epistemic, dynamic, temporal logics as well as applicable in data science many-valued logics and logics of concepts (rough logics). It offers a look into second-order logics and approximate logics of parts. The book concludes with appendices on set theory, algebraic structures, computability, complexity, MV-algebras and transition systems, automata and formal grammars. By this composition of the text, the reader obtains a self-contained exposition that can serve as the textbook on logics and relevant disciplines as well as a reference text.
Condition: Hervorragend. Zustand: Hervorragend | Seiten: 380 | Sprache: Englisch | Produktart: Bücher | This volume offers the reader a systematic and throughout account of branches of logic instrumental for computer science, data science and artificial intelligence. Addressed in it are propositional, predicate, modal, epistemic, dynamic, temporal logics as well as applicable in data science many-valued logics and logics of concepts (rough logics). It offers a look into second-order logics and approximate logics of parts. The book concludes with appendices on set theory, algebraic structures, computability, complexity, MV-algebras and transition systems, automata and formal grammars. By this composition of the text, the reader obtains a self-contained exposition that can serve as the textbook on logics and relevant disciplines as well as a reference text.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 184.30
Quantity: Over 20 available
Add to basketCondition: New. In.
Condition: New.
Condition: New. 1st ed. 2022 edition NO-PA16APR2015-KAP.
Language: English
Published by Springer International Publishing, Springer Nature Switzerland Dez 2022, 2022
ISBN 10: 3030916820 ISBN 13: 9783030916824
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. Neuware -This volume offers the reader a systematic and throughout account of branches of logic instrumental for computer science, data science and artificial intelligence. Addressed in it are propositional, predicate, modal, epistemic, dynamic, temporal logics as well as applicable in data science many-valued logics and logics of concepts (rough logics). It offers a look into second-order logics and approximate logics of parts.The book concludes with appendices on set theory, algebraic structures, computability, complexity, MV-algebras and transition systems, automata and formal grammars.By this composition of the text, the reader obtains a self-contained exposition that can serve as the textbook on logics and relevant disciplines as well as a reference text.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch.
Language: English
Published by Springer International Publishing, Springer Nature Switzerland Dez 2021, 2021
ISBN 10: 3030916790 ISBN 13: 9783030916794
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Buch. Condition: Neu. Neuware -This volume offers the reader a systematic and throughout account of branches of logic instrumental for computer science, data science and artificial intelligence. Addressed in it are propositional, predicate, modal, epistemic, dynamic, temporal logics as well as applicable in data science many-valued logics and logics of concepts (rough logics). It offers a look into second-order logics and approximate logics of parts.The book concludes with appendices on set theory, algebraic structures, computability, complexity, MV-algebras and transition systems, automata and formal grammars.By this composition of the text, the reader obtains a self-contained exposition that can serve as the textbook on logics and relevant disciplines as well as a reference text.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 380 pp. Englisch.
Language: English
Published by Springer International Publishing, Springer Nature Switzerland, 2022
ISBN 10: 3030916820 ISBN 13: 9783030916824
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume offers the reader a systematic and throughout account of branches of logic instrumental for computer science, data science and artificial intelligence. Addressed in it are propositional, predicate, modal, epistemic, dynamic, temporal logics as well as applicable in data science many-valued logics and logics of concepts (rough logics). It offers a look into second-order logics and approximate logics of parts.The book concludes with appendices on set theory, algebraic structures, computability, complexity, MV-algebras and transition systems, automata and formal grammars.By this composition of the text, the reader obtains a self-contained exposition that can serve as the textbook on logics and relevant disciplines as well as a reference text.
Language: English
Published by Springer International Publishing, Springer Nature Switzerland, 2021
ISBN 10: 3030916790 ISBN 13: 9783030916794
Seller: AHA-BUCH GmbH, Einbeck, Germany
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume offers the reader a systematic and throughout account of branches of logic instrumental for computer science, data science and artificial intelligence. Addressed in it are propositional, predicate, modal, epistemic, dynamic, temporal logics as well as applicable in data science many-valued logics and logics of concepts (rough logics). It offers a look into second-order logics and approximate logics of parts.The book concludes with appendices on set theory, algebraic structures, computability, complexity, MV-algebras and transition systems, automata and formal grammars.By this composition of the text, the reader obtains a self-contained exposition that can serve as the textbook on logics and relevant disciplines as well as a reference text.
Paperback. Condition: Brand New. 380 pages. 9.25x6.10x0.98 inches. In Stock.
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: New.
Condition: New. 2023rd edition NO-PA16APR2015-KAP.
Language: English
Published by Springer Nature Switzerland, Springer Nature Switzerland, 2024
ISBN 10: 3031420365 ISBN 13: 9783031420368
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The book gives all interested in computer science, a deep review of relevant aspects of logic. In its scope are classical and non-classical logics. The content will be valid as well for those interested in linguistic, philosophy and many other areas of research both in humane and technical branches of science as logic permeates all genuine realms of science. The book contains a substantial part of classical results in logic like those by Gödel, Tarski, Church and Rosser as well as later developments like many-valued logics, logics for knowledge engineering, first-order logics plus inductive definitions.The exposition is rigorous yet without unnecessary abstractionism, so it should be accessible to readers from many disciplines of science. Each chapter contains a problem section, and problems are borrowed from research publications which allows for passing additional information, and it allows readers to test their skills. Extensive bibliography of 270 positions directs readers to research works of importance.
Language: English
Published by Springer Nature Switzerland, Springer Nature Switzerland, 2023
ISBN 10: 3031420330 ISBN 13: 9783031420337
Seller: AHA-BUCH GmbH, Einbeck, Germany
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The book gives all interested in computer science, a deep review of relevant aspects of logic. In its scope are classical and non-classical logics. The content will be valid as well for those interested in linguistic, philosophy and many other areas of research both in humane and technical branches of science as logic permeates all genuine realms of science. The book contains a substantial part of classical results in logic like those by Gödel, Tarski, Church and Rosser as well as later developments like many-valued logics, logics for knowledge engineering, first-order logics plus inductive definitions.The exposition is rigorous yet without unnecessary abstractionism, so it should be accessible to readers from many disciplines of science. Each chapter contains a problem section, and problems are borrowed from research publications which allows for passing additional information, and it allows readers to test their skills. Extensive bibliography of 270 positions directs readers to research works of importance.
Language: English
Published by Springer International Publishing, Springer International Publishing Dez 2022, 2022
ISBN 10: 3030916820 ISBN 13: 9783030916824
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume offers the reader a systematic and throughout account of branches of logic instrumental for computer science, data science and artificial intelligence. Addressed in it are propositional, predicate, modal, epistemic, dynamic, temporal logics as well as applicable in data science many-valued logics and logics of concepts (rough logics). It offers a look into second-order logics and approximate logics of parts.The book concludes with appendices on set theory, algebraic structures, computability, complexity, MV-algebras and transition systems, automata and formal grammars.By this composition of the text, the reader obtains a self-contained exposition that can serve as the textbook on logics and relevant disciplines as well as a reference text. 380 pp. Englisch.