Verwandte Artikel zu Logic: Reference Book for Computer Scientists : The...
Logic: Reference Book for Computer Scientists : The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and ... 245 (Intelligent Systems Reference Library) - Hardcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorin bzw. den Autor
Von der hinteren Coverseite
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 162,45
Gratis für den Versand von USA nach Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Logic: Reference Book for Computer Scientists : The...
Beispielbild für diese ISBN
Logic: Reference Book for Computer Scientists
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-14171
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic: Reference Book for Computer Scientists
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 496. Bestandsnummer des Verkäufers 26398554452
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic: Reference Book for Computer Scientists
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. 496. Bestandsnummer des Verkäufers 18398554462
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
LOGIC: REFERENCE BOOK FOR COMPUTER SCIENTISTS
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-261630
Anzahl: 1 verfügbar
Foto des Verkäufers
Logic: Reference Book for Computer Scientists
Verlag:
Springer, Berlin|Springer Nature Switzerland|Springer, 2023
ISBN 10: 3031420330
ISBN 13: 9783031420337
Neu
Hardcover
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 r. Bestandsnummer des Verkäufers 945398543
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Logic: Reference Book for Computer Scientists: The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and ... (Intelligent Systems Reference Library, 245)
Anbieter: ALLBOOKS1, Direk, SA, Australien
Verkäuferbewertung 5 von 5 Sternen
Bestandsnummer des Verkäufers SHUB261630
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic: Reference Book for Computer Scientists: The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and ... (Intelligent Systems Reference Library, 245)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783031420337_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Logic: Reference Book for Computer Scientists : The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"
Verlag:
Springer Nature Switzerland, Springer Nature Switzerland, 2023
ISBN 10: 3031420330
ISBN 13: 9783031420337
Neu
Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: 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. Bestandsnummer des Verkäufers 9783031420337
Anzahl: 1 verfügbar
Foto des Verkäufers
Logic: Reference Book for Computer Scientists
ISBN 10: 3031420330
ISBN 13: 9783031420337
Neu
Hardcover
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 496 pp. Englisch. Bestandsnummer des Verkäufers 9783031420337
Anzahl: 2 verfügbar
Foto des Verkäufers
Logic: Reference Book for Computer Scientists
ISBN 10: 3031420330
ISBN 13: 9783031420337
Neu
Hardcover
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 496 pp. Englisch. Bestandsnummer des Verkäufers 9783031420337
Anzahl: 2 verfügbar