Penulis: Bernhard Gramlich

Dukung

2 Ebooks oleh Bernhard Gramlich

Bernhard Gramlich & Dale Miller: Automated Reasoning
This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading ev …
PDF
Inggris
DRM
€57.99