Preface

  1. Hermenegildo, M.V.
  2. Lopez-Garcia, P.
Liburu bilduma:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 1611-3349 0302-9743

ISBN: 9783319631387

Argitalpen urtea: 2017

Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Revised Selected Papers

Alea: 10184 LNCS

Orrialdeak: V-VI

Mota: Editoriala