Descriptional Complexity of Formal Systems: 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings (Lecture Notes in Computer Science)

Ein Fachband aus dem 17. Internationalen Workshop zur beschreibenden Komplexität formaler Systeme in Waterloo; präsentiert neueste Theorien zu Logik ...

Allgemein

Marke
Jeffrey Shallit
MPN
Jeffrey Shallit 48 black & white illustrations, biograph
ISBN
Jeffrey Shallit 9783319192246

Eigenschaften

Menü