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
  • Proceedings :
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Save to List
  • Permanent link
Proceedings : Fourth Annual Symposium on Logic in Computer Science /

Proceedings : Fourth Annual Symposium on Logic in Computer Science /

Saved in:
Bibliographic Details
Corporate Authors: Symposium on Logic in Computer Science Philadelphia, Pa., IEEE Computer Society, ACM Special Interest Group for Automata and Computability Theory, IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing, Association for Symbolic Logic, Institute of Electrical and Electronics Engineers, European Association for Theoretical Computer Science
Format: Conference Proceeding Book
Language:English
Published: Washington, D.C. : IEEE Computer Society, c1989.
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

  • Fifth Annual IEEE Symposium on Logic in Computer Science, June 4-7, 1990, Philadelphia, PA : proceedings /
    Published: (1990)
  • Sixth Annual IEEE Symposium on Logic in Computer Science, July 15-18, 1991, Amsterdam, The Netherlands: proceedings /
    Published: (1991)
  • Logic at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings /
    Published: (1989)
  • Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings /
    Published: (1992)
  • Proceedings /
    Published: (1988)
  • 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