5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980
ISBN: 9783540381402
Platform/Publisher: SpringerLink / Springer Berlin Heidelberg
Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited
Subjects: Computer Science;

No description is available.


hidden image for function call