Campusbibliothek
Normale Ansicht MARC ISBD

Conference on Automated Deduction

Von: Materialtyp: Fortlaufende RessourceFortlaufende RessourceBände: Zeige BändeVerlag: Berlin Heidelberg [u.a.] Springer 1980-1982Inhaltstyp:
  • Text
Medientyp:
  • ohne Hilfsmittel zu benutzen
Datenträgertyp:
  • Band
Weitere Titel:
  • Nebent.: Automated Deduction
  • Lecture notes in computer science / Conference on Automated Deduction
Genre/Form: DDC-Klassifikation:
  • 004
Weitere ähnliche Titel:5=87; 6=138 von: Lecture notes in computer scienceBestand: Vorgänger: Vorg. Workshop on Automated Deduction (DNB) Proceedings / Workshop on Automated DeductionFortsetzung: Forts. International Conference on Automated Deduction (DNB) Proceedings
Dieser Titel hat keine Exemplare

C

++Lecture notes in computer science

C

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha