HAL

swMATH4603MaRDI QIDQ16774

No author found.

Described by source

• A complete modal proof system for HAL: the Herbrand agent language

Related Items (1)

Unnamed Item

This page was built for software: HAL