Superposition-based Decision Procedures for Minimal Models Autor Matthias Horbach 12 sep 2011 Paperback Preț: 490.16 lei 612.71 lei 6-8 săpt. -20%