Image de couverture de livre

Summary goes here

Enregistré dans:
Détails bibliographiques
Format: Livre
Langue:anglais
Sujets:
Siekmann, Jörg H.
Automatic theorem proving.
Logic, Symbolic and mathematical.
Reasoning
Formal methods (Computer science)
Logique symbolique et mathématique.
Méthodes formelles (Informatique)
Raisonnement
Théorèmes
MATHEMATICS
Informatique.
Formale Methode
Logischer Schluss
Automatisches Beweisverfahren
Softwareentwicklung
Raisonnement (Informatique)
Démonstration automatique de théorèmes.
Méthode formelle.
Logique mathématique.
Congress
Festschriften.
Conference papers and proceedings.
Actes de congrès.
Aufsatzsammlung.
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
Soyez le premier à ajouter un commentaire!
Il faut se connecter d'abord