Navigation überspringen
Universitätsbibliothek Heidelberg
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.
Neue Suche
+ Optionen
+ Suchhistorie (1 Recherche)
RSSDrucker
Suchfilter: nur Zeitschriften, Zeitungen x 
Folder
Sortierung: 
Kein Fach bevorzugen

Treffer einschränken:

- Jahr
 bis  
- Einrichtung
- Sprache
 
- Datenträger
- Dokumenttyp
- Fach
- Schlagwort
- Geographischer Bezug
- Person
1. Journal of automated reasoning. -
Dordrecht [u.a.]: Springer Science + Business Media B.V., 1985-. - Online-Ressource, ISSN 1573-0670
1.1985 -
Themen: Automatisches Beweisverfahren
Online-Ressource Zeitschrift 
→ Ähnliche Titel suchen   
2. Rewriting techniques and applications : proceedings / RTA. -
Berlin ; Heidelberg [u.a.]: Springer, 1985-1989
1.1985 - 3.1989
Themen: Automatisches Beweisverfahren
Zeitschrift 
→ Bände    → Ähnliche Titel suchen   
3. Proceedings / International Conference on Automated Deduction. -
Berlin ; Heidelberg [u.a.]: Springer, 1984-1988
7.1984 - 9.1988
Themen: Automatisches Beweisverfahren
Zeitschrift 
→ Bände    → Ähnliche Titel suchen   
Bei Erscheinungsjahren bis 1961 prüfen Sie bitte auch die Bestände im DigiKat.
zum Seitenanfang

© Universitätsbibliothek HeidelbergMailImpressum / Datenschutz   Design