Your search returned 2 results from 132353 records.

1.

Proceedings : Symposium on Logic in Computer Science, Cambridge, Massachusetts, June 16-18, 1986 / sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science by

Material type:

Text; Literary form: Not fiction

Publication details: Washington : IEEE Computer Society Press, 1986

Other title:

Logic in computer science

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA75.5 S9574 1986.

2.

Proceedings : Third Annual Symposium on Logic in Computer Science, July 5-8, 1988, Edinburgh, Scotland / sponsored by The Computer Society's Technical Committee on Mathematical Foundations of Computing by

Material type:

Text; Literary form: Not fiction

Publication details: Washington : IEEE Computer Society Press, 1988

Other title:

Logic in computer science

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA75.5 S9574 1988.

Not finding what you're looking for?

Make a purchase suggestion

คัดลอกแล้ว!