Logic-Based Program Synthesis and Transformation: 16th International Symposium,
75,97 €
Invited Talks. - How to Talk to a Human: The Semantic Web and the Clash of the Titans. - CHESS: Systematic Stress Testing of Concurrent Software. - ARM: Automatic Rule Miner. - Constructing Consensus Logic Programs.
Jetzt bei Ebay:
