Focus
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
Logo
DE | FR
Promotion de Pâques : Jusqu’au 30.4.2025, profitez d'une réduction de 20 % sur les produits suivants. Code: NEST25
cover
Logik für die Informatik

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, env. 248 pages, Allemand
Springer
978-3-662-70824-8

Mots-clés

Autres titres sur ce thème

The Computer Algebra System OSCAR
Algorithms and Examples
Springer International Publishing, 2025
978-3-031-62126-0
169.00 CHF
livrable dans env. 20-45 jours
Institution-independent Model Theory
Springer International Publishing, 2025
978-3-031-68853-9
216.00 CHF
livrable dans env. 20-45 jours
Proof Assistants and Their Applications in Mathematics and Computer Science
Springer International Publishing, 2025
978-3-031-85189-6
env. 103.00 CHF
disponible dès juillet 2025
Computable Structure Theory
A Unified Approach
Springer International Publishing, 2025
978-3-031-92432-3
env. 168.00 CHF
disponible dès juin 2025
Grundkurs Künstliche Intelligenz
Eine praxisorientierte Einführung
Vieweg + Teubner, 2025
978-3-658-44954-4
52.50 CHF
disponible de suite
Rechnen mit gigantischen Zahlen
Wenn Computer mit Plus und Mal an ihre Grenzen stoßen
Springer, 2025
978-3-662-71215-3
env. 31.50 CHF
disponible dès octobre 2025