Imagem da capa

Summary goes here

Na minha lista:
Detalhes bibliográficos
Formato: Livro
Idioma:inglês
Assuntos:
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: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
Seja o primeiro a partilhar um comentário!
Você deve entrar na sua conta antes