Preskoči na sadržaj
CAVAL Home
  • Start Over
  • Tvoj račun
  • Odjavi se
  • 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
  • Logic at Botik '89 :
  • Citiraj ovo
  • Pošalji SMS
  • Pošalji ovo e-poštom
  • Ispiši
  • Izvezi zapis
    • Izvezi u RefWorks
    • Izvezi u EndNoteWeb
    • Izvezi u EndNote
  • Spremi u popis
  • Stalna poveznica
Logic at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings /

Logic at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings /

Spremljeno u:
Bibliografski detalji
Autor kompanije: Botik '89, Pereslavlʹ-Zalesskiĭ, R.S.F.S.R.
Daljnji autori: Meyer, Albert R., Taitslin, M. A. (Mikhail A.), 1936-
Format: Izvještaj sastanka Knjiga
Jezik:English
Izdano: Berlin ; New York : Springer-Verlag, c1989.
Serija:Lecture notes in computer science ; 363.
Teme:
Computers > Congresses.
Electronic data processing > Congresses.
Logic, Symbolic and mathematical > Congresses.
  • Primjerci
  • Opis
  • Prikaz za djelatnike knjižnice
Opis
Opis:x, 289 p. : ill. ; 24 cm.
Bibliografija:Includes bibliographical references.
ISBN:0387512373

Similar Items

  • Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings /
    Izdano: (1992)
  • Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings /
    Izdano: (1994)
  • CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings /
    Izdano: (1988)
  • Fundamentals of computation theory : International Conference, FCT'89, Szeged, Hungary, August 21-25, 1989 : proceedings /
    Izdano: (1989)
  • Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers /
    Izdano: (1996)
  • 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