Buch
Logic: Reference Book for Computer Scientists
-The 2nd Revised, Modified, and Enlarged Edition of “Logics for Computer and Data Sciences, and Artificial Intelligence”-Lech T. Polkowski
235,39
EUR
Lieferzeit 12-13 Tage
Übersicht
| Verlag | : | Springer International Publishing |
| Buchreihe | : | Intelligent Systems Reference Library |
| Sprache | : | Englisch |
| Erschienen | : | 04. 10. 2023 |
| Seiten | : | 461 |
| Einband | : | Gebunden |
| Höhe | : | 235 mm |
| Breite | : | 155 mm |
| Gewicht | : | 904 g |
| ISBN | : | 9783031420337 |
| Sprache | : | Englisch |
| Illustrationen | : | XXXIII, 461 p. 31 illus. |
Autorinformation
Inhaltsverzeichnis
Introduction: Prerequisites.- Sentential Logic.- Rudiments of First-order Logic.- Modal and Intuitionistic Logics.- Temporal Logics for linear and branching time and model checking.- Finitely and innitely valued logics.- Logics for programs and knowledge.- Beyond FO within SO.
Deine Buchhandlung
Buchhandlung LeseLust
Inh. Gernod Siering
Georgenstraße 2
99817 Eisenach
03691/733822
kontakt@leselust-eisenach.de
Montag-Freitag 9-17 Uhr
Sonnabend 10-14 Uhr
Inh. Gernod Siering
Georgenstraße 2
99817 Eisenach
03691/733822
kontakt@leselust-eisenach.de
Montag-Freitag 9-17 Uhr
Sonnabend 10-14 Uhr
Deine Buchhandlung
Buchhandlung LeseLust
Inh. Gernod Siering
Georgenstraße 2
99817 Eisenach
03691/733822
kontakt@leselust-eisenach.de
Montag-Freitag 9-17 Uhr
Sonnabend 10-14 Uhr
Inh. Gernod Siering
Georgenstraße 2
99817 Eisenach
03691/733822
kontakt@leselust-eisenach.de
Montag-Freitag 9-17 Uhr
Sonnabend 10-14 Uhr