Titlebook: Logic-Based Program Synthesis and Transformation; 22nd International S Elvira Albert Conference proceedings 2013 Springer-Verlag Berlin Hei

Firefly

Kyle Marple,Gopal Guptaasis on the identification, acquisition and use of external knowledge. Drawing from this theoretical basis, the book presents concepts and instruments specifically designed for SMEs, as well as examples of their implementation and use in practice..978-3-7908-2525-1978-3-7908-1681-5