Filter
Sökt på: Sökresultat
Filter
totalt 3 träffar
Logic Programming
häftad,
2005,
Engelska,
ISBN 9783540292081
This volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), Spain, from October 2nd to 5th, 2005. The …
Logic-Based Program Synthesis and Transformation
häftad,
2020,
Engelska,
ISBN 9783030452599
This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held …
Programming Languages: Principles and Paradigms
häftad,
2010,
Engelska,
ISBN 9781848829138
This excellent addition to the UTiCS series of undergraduate textbooks provides a detailed and up to date description of the main principles behind the design and implementation of …