Research Catalog

Logic aspect of programs : proceedings of the sixth IBM Symposium on Mathematical Foundations of Computer Science, May 25-27, 1981, at Hakone Yama no Hotel.

Title
Logic aspect of programs : proceedings of the sixth IBM Symposium on Mathematical Foundations of Computer Science, May 25-27, 1981, at Hakone Yama no Hotel.
Author
IBM Symposium on Mathematical Foundations of Computer Science (6th : 1981 : Hakone, Japan)
Publication
Tokyo, Japan : IBM Japan, Corporate & Scientific Programs, [1981?]

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76 .I582 1981Off-site

Holdings

Details

Additional Authors
Nihon Ai Bī Emu Kabushiki Kaisha.
Description
[14], 431 pages; 28 cm
Alternative Title
Mathematical foundations of computer science
Subject
  • Theoretical computer science
  • Formal languages
  • programme parallele
  • logique programme
  • lisp
  • semantique formelle
  • Informatique > Congrès
  • Langages formels > Congrès
Bibliography (note)
  • Includes bibliographical references.
Processing Action (note)
  • committed to retain
OCLC
  • 7897361
  • SCSB-10297999
Owning Institutions
Harvard Library