Programmering, logik og intelligente systemer

Publikationer 2006 2019

Filter
Bog
2011

Hybrid Logic and its Proof-Theory

Braüner, T., 2011, Springer Science+Business Media. 231 s. (Applied Logic Series, Bind 37).

Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review