Skip to content
CAVAL Home
  • Start Over
  • 我的帳戶
  • 退出
  • 登錄
  • 語言
    • 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
    • हिंदी
    • Հայերէն
    • Українська
高級檢索
  • 檢索
  • CSL ... :
  • 引用
  • 發送短信
  • 推薦此
  • 打印
  • 導出紀錄
    • 導出到 RefWorks
    • 導出到 EndNoteWeb
    • 導出到 EndNote
  • 加到收藏夾
  • Permanent link
CSL ... : ... Workshop on Computer Science Logic.

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

Saved in:
書目詳細資料
企業作者: Workshop on Computer Science Logic
格式: Conference Proceeding
語言:English
出版: Berlin : Springer-Verlag, 1987-
叢編:Lecture notes in computer science.
主題:
Computer science > Mathematics > Congresses.
Electronic data processing > Congresses.
  • 持有資料
  • 實物特徵
  • 職員瀏覽

CARM 1 Store

持有資料詳情 CARM 1 Store
索引號: A2:AL20D0 C05347
A2:AM07E0 C05495
A2:AM09F0 C05505
A2:AM09F0 C05508
復印件 1 可用  預訂
復印件 2 可用  預訂
復印件 3 可用  預訂
復印件 4 可用  預訂

相似書籍

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