Firstorder Logic & Automated Theorem Pro

Sponsorisé
115.42 EUR
Prix mis à jour le: 30-09-2026 10:35:36

Général

Marque
Springer
ISBN
Springer 1461275156
MPN
Springer biography

Caractéristiques

Menu