Logic in Computer Science

Popularity 1
Forty papers contributed to the IEEE symposium held in Edinburgh, July 1988. No index. Annotation(c) 2003 Book News, Inc., Portland, OR (booknews.com).
Computer scienceCongressesMathematicsSymbolic and mathematical LogicLogique symbolique et mathématiqueCongrès