Omslagsbillede

Summary goes here

Saved in:
Bibliografiske detaljer
Format: Bog
Sprog:engelsk
Fag:
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: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
Vær først til at give en kommentarø!
Du skal først være logget ind