Symposium on Automatic Demonstration
Held at Versailles/France, Decembre 1968
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
M. Laudet
Themen in »Symposium on Automatic Demonstration«
Datenverarbeitung Mathematica proof proof theory theorem
Stimmen zu »Symposium on Automatic Demonstration«
Details
ISBN: 9783540362623
Verlag: Springer Berlin
Erscheinung: 15.11.2006