Ir para o conteúdo
CAVAL Home
  • Start Over
  • A sua conta
  • Sair
  • Entrar
  • 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
  • Pesquisa
  • Logical foundations of compute...
  • Citar
  • Enviar por SMS
  • Enviar por email
  • Imprimir
  • Exportar registo
    • Exportar para RefWorks
    • Exportar para EndNoteWeb
    • Exportar para EndNote
  • Adic. favoritos
  • Permanent link
Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings /

Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings /

Na minha lista:
Detalhes bibliográficos
Outros Autores: Nerode, Anil, 1932-, Taitslin, M. A. (Mikhail A.), 1936-
Formato: Livro
Idioma:English
Publicado em: Berlin ; New York : Springer-Verlag, c1992.
Colecção:Lecture notes in computer science ; 620.
Assuntos:
Computers > Congresses.
Electronic data processing > Congresses.
Logic, Symbolic and mathematical > Congresses.
  • Exemplares
  • Descrição
  • Registo fonte

CARM 1 Store

Detalhes do Exemplar CARM 1 Store
Área/Cota: A2:AM13D0 C05517
Cód. Barras: 1 Disponível  Localização

Registos relacionados

  • Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings /
    Publicado em: (1994)
  • Logic at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings /
    Publicado em: (1989)
  • CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings /
    Publicado em: (1988)
  • Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers /
    Publicado em: (1996)
  • Theory of computing and systems : ISTCS '92, Israel symposium, Haifa, Israel, May 27-28, 1992 : proceedings /
    Publicado em: (1992)
  • 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