Representing Logical Inference Steps with Digital Circuits

Erika Matsak. Representing Logical Inference Steps with Digital Circuits. In Gavriel Salvendy, Michael J. Smith, editors, Human Interface and the Management of Information. Information and Interaction, Symposium on Human Interface 2009, Held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II. Volume 5618 of Lecture Notes in Computer Science, pages 178-184, Springer, 2009. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.