Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasio
by Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi Paperback 2023
- Author: Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi
- ISBN 13: 9783031314759
- ISBN 10: 3031314751
- Publication Year: 2023
- Language: English
Specifications
Index-103031314751
LanguageEnglish
Index-139783031314759
Period-
Class Track-
Publisher- (2023)
Pages-