Malte Helmut (helmut-m)

Contributi a Philosophie.ch

Bibliography

Edelkamp, Stefan and Helmut, Malte. 2001. “MIPS: The Model-Checking Integrated Planning System.” The AI Magazine 22(1): 67–71.