Artikel in einem Konferenzbericht,

Systematic Construction of Natural Deduction Systems for Many-Valued Logics.

, , und .
ISMVL, Seite 208-213. IEEE Computer Society, (1993)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen