Original language | English |
---|---|
Edition | 1.23 |
Publication status | Published - 2009 |
MoE publication type | I2 ICT applications |
Translating Logic Programs into Difference Logic
Tomi Janhunen
Research output: Artistic and non-textual form › Software › Scientific
Tomi Janhunen
Research output: Artistic and non-textual form › Software › Scientific
Original language | English |
---|---|
Edition | 1.23 |
Publication status | Published - 2009 |
MoE publication type | I2 ICT applications |