
Automated Deduction -- Cade-23
Nikolaj Björner, Viorica Sofronie-Stokkermans
₹5,669

Briefwechsel
by Klaus Hierholzer, Christiane Groeben, Ernst Florey
Springer · 1985 · Paperback
Free delivery. Nothing extra to pay at checkout.
Available Offers
The publisher hasn't supplied a description for this edition. The details alongside are from the publisher's record.