Symposium on Automatic Demonstration: Held at Versailles/France, Decembre 1968 (Lecture Notes in Mathematics (125), Band 125)

Demonstration

von: M. Laudet · L. Nolin · M. Schützenberger · D. Lacombe

Taschenbuch

Details (Deutschland)

ISBN-13: 978-3-540-04914-2

ISBN-10: 3-540-04914-2

Springer · 2009