Skip to content
CAVAL Home
  • Start Over
  • Vaš račun
  • Odjava
  • Prijava
  • Jezik
    • 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
    • हिंदी
    • Հայերէն
    • Українська
Napredno
  • Fifth Annual IEEE Symposium on...
  • Citiraj
  • Pošljite SMS
  • Pošljite email
  • Natisni
  • Izvozi zadetek
    • Izvozi v RefWorks
    • Izvozi v EndNoteWeb
    • Izvozi v EndNote
  • Dodaj v priljubljene
  • 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 /

Shranjeno v:
Bibliografske podrobnosti
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 Knjiga
Jezik:English
Izdano: Los Alamitos, Calif. : IEEE Computer Society Press, c1990.
Teme:
Electronic data processing > Congresses.
Computer programming > Congresses.
Logic, Symbolic and mathematical > Congresses.
  • Zaloga
  • Opis
  • Knjižničarski pogled

CARM 1 Store

Podrobnosti zaloge CARM 1 Store
Signatura: A2:AR17E0 D07412
Kopija 1 Prosto  Rezerviraj

Podobne knjige/članki

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