Automated Reasoning With Analytic Tableaux and Related Methods, Lecture Notes in Artificial Intelligence

Sponsorisé  Ce site contient des liens d'affiliation pour lesquels nous pouvons recevoir une compensation. Plus d'informations

Sponsorisé Automated Reasoning With Analytic Tableaux and Related Methods, Lecture Notes in Artificial Intelligence

56.22 EUR
Prix mis à jour le: 19-11-2025 06:58:22
Voir l'offre
Identifiants
Dimensions / poids
Fonctionnalités clés
Springer