Skip to content
CAVAL Home
  • Start Over
  • Your Account
  • Log Out
  • Login
  • Language
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
Advanced
  • Fifth Annual IEEE Symposium on...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Save to List
  • Permanent link
Fifth Annual IEEE Symposium on Logic in Computer Science, June 4-7, 1990, Philadelphia, PA : proceedings /

Fifth Annual IEEE Symposium on Logic in Computer Science, June 4-7, 1990, Philadelphia, PA : proceedings /

Saved in:
Bibliographic Details
Corporate Authors: IEEE Symposium on Logic in Computer Science Philadelphia, Pa., ACM Special Interest Group for Automata and Computability Theory, IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing, Association for Symbolic Logic, European Association for Theoretical Computer Science
Format: Conference Proceeding Book
Language:English
Published: Los Alamitos, Calif. : IEEE Computer Society Press, c1990.
Subjects:
Electronic data processing > Congresses.
Computer programming > Congresses.
Logic, Symbolic and mathematical > Congresses.
  • Holdings
  • Description
  • Staff View

CARM 1 Store

Holdings details from CARM 1 Store
Call Number: A2:AR17E0 D07412
Copy 1 Available  Place a Hold

Similar Items

  • Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, June 19-23, 1993, Montreal, Canada /
    Published: (1993)
  • Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992 /
    Published: (1992)
  • Computational logic : symposium proceedings, Brussels, November 13/14, 1990 /
    Published: (1990)
  • Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 /
    Published: (1983)
  • Logic Colloquium '77 : proceedings of the colloquium held in Wroclaw, August 1977 /
    Published: (1978)
  • Home
  • About Us
    • Contact Us
    • News
    • Governance
    • Photo Gallery
  • Solutions
    • FOLIO + ReShare
    • Storage and Archives
    • Shelf-Ready Services
    • Cataloguing and Metadata
    • Language Resources
    • Digital Platforms
  • Member Services
    • Member Benefits
    • Our Members
    • Shared Collection
    • Reciprocal Borrowing
    • Mentoring Program
    • CAVAL card

Contact Us

4 Park Drive

Bundoora, Victoria, 3083

Australia

T +61 3 9450 5500

Email: caval@caval.edu.au

Twitter Facebook LinkedIn

  • Privacy and Disclaimer
  • Site Map