Thèmes principaux
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
Logo
DE | FR
cover

Logik für die Informatik

Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
Livre (broché)env. 49.90 CHF
disponible dès juin 2025

Informations bibliographiques

juin 2025, Allemand
Springer
978-3-662-70824-8

Mots-clés

Autres titres sur ce thème

Constrained Markov Sequence Generation
Applications to Music and Text
Springer Nature EN, 2099
978-3-319-43496-4
env. 78.00 CHF
disponible dès décembre 2099
Statistics for Scientists
A Concise Guide for Data-driven Research
Springer International Publishing, 2026
978-3-031-78146-9
env. 96.00 CHF
disponible dès juin 2026
Artificial Psychology
Learning from the Unexpected Capabilities of Large Language Models
Springer International Publishing, 2025
978-3-031-76645-9
env. 55.50 CHF
disponible dès mars 2025
Handbook of Artificial Intelligence and Data Sciences for Routing Problems
Springer International Publishing, 2025
978-3-031-78261-9
0
disponible dès mars 2025
Optimization, Discrete Mathematics and Applications to Data Sciences
Springer International Publishing, 2025
978-3-031-78368-5
168.00 CHF
livrable dans env. 20-45 jours