Artikel in einem Konferenzbericht,

Logic in Action - An Open Logic Courseware Project.

, und .
TICTTL, Volume 6680 von Lecture Notes in Computer Science, Seite 141-153. Springer, (2011)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen