Cover Image

Summary goes here

Saved in:
Bibliographic Details
Format: Book
Language:English
Subjects:
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: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Summary goes here
Item Description:General Notes
Physical Description:1 online resource (ix, 563 pages) :illustrations
ISBN:9783540322542
354032254X
3540250514
9783540250517
1281406228
9781281406224
6611406220
9786611406226