Skip to content
CAVAL Home
  • Start Over
  • Din konto
  • Log ud
  • Login
  • Sprog
    • 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
    • हिंदी
    • Հայերէն
    • Українська
Udvidet
Reset Filters
Foreslåede emner: Social behavior disorders
Reset Filters
Show filters (1)
Foreslåede emner: Social behavior disorders
  • Søg
  • Proceedings :
  • Citér dette
  • Stav dette
  • Email dette
  • Udskriv
  • Eksportér post
    • Eksportér til RefWorks
    • Eksportér til EndNoteWeb
    • Eksportér til EndNote
  • Føj til favoritter
  • Permanent link
Proceedings : 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990 /

Proceedings : 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990 /

Saved in:
Bibliografiske detaljer
Institution som forfatter: International Conference on Automated Deduction Kaiserslautern, Germany
Andre forfattere: Stickel, M. E. (Mark E.), 1947-
Format: Conference Proceeding Bog
Sprog:English
Udgivet: Berlin ; New York : Springer-Verlag, c1990.
Serier:Lecture notes in computer science ; 449.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Fag:
Automatic theorem proving > Congresses.
Logic, Symbolic and mathematical > Congresses.
  • Beholdninger
  • Beskrivelse
  • Medarbejdervisning
Beskrivelse
Fysisk beskrivelse:xvi, 688 p. : ill. ; 24 cm.
Bibliografi:Includes biblioigraphical references and index.
ISBN:0387528857

Lignende værker

  • Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings /
    Udgivet: (1992)
  • 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 /
    Udgivet: (1980)
  • 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings /
    Udgivet: (1988)
  • 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings /
    Udgivet: (1984)
  • 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 /
    Udgivet: (1982)
  • 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