SHIP

swMATH14071MaRDI QIDQ25980FDOQ25980

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-319-27436-2_19

Described by source

• SHIP -- a logic-based language and tool to program smart environments

This page was built for software: SHIP