HEIDI

Bitte beachten Sie die Auswahl Ihrer aktuellen Leihzweigstelle. Mit ihr legen Sie fest, welche Ausgabeorte Ihnen bei einer Bestellung oder Vormerkung angeboten werden. Außerdem hat sie Einfluss auf die Anzeige des Ausleihstatus ('ausleihbar' oder 'bestellbar') der Medien.

Suchhistorie (1 Recherche)

Sortierung:

1.	Proceedings / International Conference on Automated Deduction 7. - Shostak, Robert E.: Napa, Calif., USA, May 14 - 16, 1984, 1984, ISBN 978-0-387-96022-7 (Lecture notes in computer science ; 170) Zeitschriftenband → Übergeordnete Aufnahme → Ähnliche Titel suchen	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
2.	Proceedings / International Conference on Automated Deduction 8. - Oxford, England, July 27 - Aug. 1, 1986, 1986, ISBN 978-0-387-16780-0 (Lecture notes in computer science ; 230) Zeitschriftenband → Übergeordnete Aufnahme → Ähnliche Titel suchen	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben
3.	Proceedings / International Conference on Automated Deduction 9. - Argonne, Illinois, USA, May 23 - 26, 1988, 1988, ISBN 978-3-540-19343-2 (Lecture notes in computer science ; 310) Zeitschriftenband → Übergeordnete Aufnahme → Ähnliche Titel suchen	Präsenznutzung → Exemplare (Institute) → Andere Auflagen/Ausgaben

Bei Erscheinungsjahren bis 1961 prüfen Sie bitte auch die Bestände im DigiKat.

Impressum / Datenschutz Design