An edition of Symposium on Logic in Computer Science (1986)

Symposium on Logic in Computer Science

proceedings : Cambridge, Massachusetts, June 16-18, 1986

by

  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Symposium on Logic in Computer Science by Symposium on Logic in Computer Science (1986 Cambridge, Mass.).
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by VacuumBot
August 16, 2012 | History
Edit
An edition of Symposium on Logic in Computer Science (1986)

Symposium on Logic in Computer Science

proceedings : Cambridge, Massachusetts, June 16-18, 1986

by

  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
IEEE Computer Society Press
Language
English
Pages
383

Check nearby libraries

Buy this book

Subjects

Computer programs, Congresses, Correctness, Electronic digital computers, Logic, Symbolic and mathematical, Programming, Symbolic and mathematical Logic

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: Symposium on Logic in Computer Science
Symposium on Logic in Computer Science: proceedings : Cambridge, Massachusetts, June 16-18, 1986
1986, IEEE Computer Society Press
Microform in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

"IEEE Catalog no. 86CH2321-8."

"IEEE Computer Society order number 720."

Includes bibliographies and index.

Microfiche. 4 microfiches ; 11 x 15 cm.

Published in
Washington, DC
Genre
Congresses.

The Physical Object

Format
Microform
Pagination
xi, 383 p.
Number of pages
383

ID Numbers

Open Library
OL22144448M
ISBN 10
0818607203, 0818647205

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
August 16, 2012 Edited by VacuumBot Updated format '[microform] :' to 'Microform'; cleaned up pagination; Removed author from Edition (author found in Work)
April 13, 2010 Edited by Open Library Bot Linked existing covers to the edition.
December 15, 2009 Edited by WorkBot link works
November 7, 2008 Created by ImportBot Imported from Binghamton University MARC record