Author: Larry Wos

Publications

Publication period start: 1998
Number of co-authors: 2

Co-authors

Number of publications with favourite co-authors
Lawrence J. Henschen
1
Ross A. Overbeek
1

Productive Colleagues

Most productive colleagues in number of publications
Lawrence J. Henschen
2
Ross A. Overbeek
2

Publications

Wos, Larry (1998): Programs That Offer Fast, Flawless, Logical Reasoning. In Communications of the ACM, 41 (6) pp. 87-95.

Henschen, Lawrence J., Overbeek, Ross A., Wos, Larry (1974): A Theorem-Proving Language for Experimentation. In Communications of the ACM, 17 (6) pp. 308-314.

New to UX Design? We're Giving You a Free eBook!

The Basics of User Experience Design

Download our free ebook “The Basics of User Experience Design” to learn about core concepts of UX design.

In 9 chapters, we’ll cover: conducting user interviews, design thinking, interaction design, mobile UX design, usability, UX research, and many more!

A valid email address is required.
316,555 designers enjoy our newsletter—sure you don’t want to receive it?

New to UX Design? We're Giving You a Free eBook!

The Basics of User Experience Design

Download our free ebook “The Basics of User Experience Design” to learn about core concepts of UX design.

In 9 chapters, we’ll cover: conducting user interviews, design thinking, interaction design, mobile UX design, usability, UX research, and many more!

A valid email address is required.
316,555 designers enjoy our newsletter—sure you don’t want to receive it?