Imagen de Portada

Summary goes here

Guardado en:
Detalles Bibliográficos
Formato: Libro
Lenguaje:inglés
Materias:
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.
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
Sea el primero en dejar un comentario!
Primero debe ingresar al sistema