Artikel in einem Konferenzbericht,

Forward Chaining with State Monad.

.
ICAISC (2), Volume 9693 von Lecture Notes in Computer Science, Seite 442-452. Springer, (2016)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen