Book chapter
Synthesis of Programs in Computational Logic
Language: | English |
---|---|
Year: | 2004 |
Types: | Book chapter |
ORCIDs: | Nilsson, Jørgen Fischer |
DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
Book chapter
Language: | English |
---|---|
Year: | 2004 |
Types: | Book chapter |
ORCIDs: | Nilsson, Jørgen Fischer |
Analysis