Kenneth A. Bowen

No bio available. Add one in Open Library.

Books by Kenneth A. Bowen (50 max)

+ shelf+ list

Logic Programming: The 5th International Conference & Symposium (Logic Programming)

1988

Robert Kowalski, Kenneth A. Bowen

+ shelf+ list

Prolog and expert systems

1991

Kenneth A. Bowen

+ shelf+ list

The relative consistency of some consequences of the existence of measurable cardinal numbers

1972

Kenneth A. Bowen

+ shelf+ list

Model theory for modal logic: Kripke models for modal predicate calculi

1979

Kenneth A. Bowen

+ shelf+ list

Speaking Pascal

1981

Kenneth A. Bowen