16 search results - page 4 / 4 » Automated Procedure Construction for Deductive Synthesis |
ICLP
2011
Springer
12 years 9 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...