Artikel,

An open logical framework.

, , , , und .
J. Log. Comput., 26 (1): 293-335 (2016)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen