Joan edukira
CAVAL Home
  • Start Over
  • Zure kontua
  • Irten
  • Bazkideak
  • Hizkuntza
    • 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
    • हिंदी
    • Հայերէն
    • Українська
Aurreratua
  • Bilatu
  • Logical foundations of compute...
  • Erreferentzia bihurtu
  • SMS
  • Bidali
  • Imprimir
  • Erregistroa esportatu
    • Nora RefWorks
    • Nora EndNoteWeb
    • Nora EndNote
  • Gogokoenen artean sartu
  • 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 /

Gorde:
Xehetasun bibliografikoak
Beste egile batzuk: Nerode, Anil, 1932-, Taitslin, M. A. (Mikhail A.), 1936-
Formatua: Liburua
Hizkuntza:English
Argitaratua: Berlin ; New York : Springer-Verlag, c1992.
Saila:Lecture notes in computer science ; 620.
Gaiak:
Computers > Congresses.
Electronic data processing > Congresses.
Logic, Symbolic and mathematical > Congresses.
  • Aleari buruzko argibideak
  • Deskribapena
  • MARC erregistroa

CARM 1 Store

Aleari buruzko argibideak CARM 1 Store
Sailkapena: A2:AM13D0 C05517
Alea 1 Eskuragarri  Erreserbatu

Antzeko izenburuak

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