Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
SachbuchLOKISemaphor
Logo
DE | FR
Osteraktion: Bis zum 30.4.2025 von 20% Rabatt auf folgende Produkte profitieren. Code: NEST25
cover
Logik für die Informatik

Logik für die Informatik

Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
Buch (broschiert)ca. 49.90 CHF
erhältlich ab Juni 2025

Bibliografische Angaben

Juni 2025, ca. 248 Seiten, Deutsch
Springer
978-3-662-70824-8

Schlagworte

Weitere Titel zum Thema

The Computer Algebra System OSCAR
Algorithms and Examples
Springer International Publishing, 2025
978-3-031-62126-0
169.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Inverse Combinatorial Optimization Problems
Springer International Publishing, 2025
978-3-031-91174-3
ca. 178.00 CHF
erhältlich ab Juli 2025
The Logic, Philosophy, and History of the Lambda-Calculus
Theory and Applications
Springer International Publishing, 2025
978-3-031-72850-1
179.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Structural Decision Diagrams in Digital Test
Theory and Applications
Springer International Publishing, 2025
978-3-031-44736-5
261.00 CHF
lieferbar in ca. 20-45 Arbeitstagen