Anar al contingut
CAVAL Home
  • Start Over
  • El teu compte
  • Tancar la sessió
  • Iniciar sessió
  • Idioma
    • 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
    • हिंदी
    • Հայերէն
    • Українська
Avançada
  • Fifth Annual IEEE Symposium on...
  • Citar
  • Enviar aquest missatge de text
  • Enviar per correu electrònic aquest
  • Imprimir
  • Exportar registre
    • Exportar a RefWorks
    • Exportar a EndNoteWeb
    • Exportar a EndNote
  • Afegir a favorits
  • Enllaç permanent
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 /

Guardat en:
Dades bibliogràfiques
Autor corporatiu: 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: Actes de congresos Llibre
Idioma:English
Publicat: Los Alamitos, Calif. : IEEE Computer Society Press, c1990.
Matèries:
Electronic data processing > Congresses.
Computer programming > Congresses.
Logic, Symbolic and mathematical > Congresses.
  • Fons
  • Descripció
  • Visualització del personal

CARM 1 Store

Detall dels fons de CARM 1 Store
Signatura: A2:AR17E0 D07412
Còpia 1 Disponible  Fer una reserva

Ítems similars

  • Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, June 19-23, 1993, Montreal, Canada /
    Publicat: (1993)
  • Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992 /
    Publicat: (1992)
  • Computational logic : symposium proceedings, Brussels, November 13/14, 1990 /
    Publicat: (1990)
  • Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 /
    Publicat: (1983)
  • Logic Colloquium '77 : proceedings of the colloquium held in Wroclaw, August 1977 /
    Publicat: (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