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
  • Cerca
  • CSL ... :
  • 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
Exportació completada — 
CSL ... : ... Workshop on Computer Science Logic.

CSL ... : ... Workshop on Computer Science Logic.

Guardat en:
Dades bibliogràfiques
Autor corporatiu: Workshop on Computer Science Logic
Format: Actes de congresos
Idioma:English
Publicat: Berlin : Springer-Verlag, 1987-
Col·lecció:Lecture notes in computer science.
Matèries:
Computer science > Mathematics > Congresses.
Electronic data processing > Congresses.
  • Fons
  • Descripció
  • Visualització del personal

CARM 1 Store

Detall dels fons de CARM 1 Store
Signatura: A2:AL20D0 C05347
A2:AM07E0 C05495
A2:AM09F0 C05505
A2:AM09F0 C05508
Còpia 1 Disponible  Fer una reserva
Còpia 2 Disponible  Fer una reserva
Còpia 3 Disponible  Fer una reserva
Còpia 4 Disponible  Fer una reserva

Ítems similars

  • CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings /
    Publicat: (1988)
  • CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings /
    Publicat: (1990)
  • CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings /
    Publicat: (1989)
  • Proceedings of the Workshop on Scientific Computing : Hong Kong, 10-12 March, 1997 /
    Publicat: (1997)
  • Logic at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings /
    Publicat: (1989)
  • 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