Automated deduction in equational logic and cubic curves

Livre MiitBook

Automated deduction in equational logic and cubic curves

W. McCune

Première publication (source) : 1996

Aucune description disponible.

Trouver un professionnel Consulter la ressource externeOuvrir l’assistant de lecture (compte requis)

Progression

Connectez-vous pour enregistrer votre progression.

Catégories

Algebraic Curves Automatic theorem proving Curves, Algebraic Algebraische Kurve Gleichungstheorie Automatische bewijsvoering Deduktion Mathematische Logik

Mots-clés

Demonstration automatique Theoremes Algebraic Geometry Computer graphics Symbolic and mathematical Logic Computer science

MiitBook

Livres similaires

Aucun livre similaire n’est disponible pour le moment. Revenez au catalogue pour poursuivre votre recherche.