Direkt zum Inhalt

Zeitschriften Datenbank

Inhalt

Neue Suche

Journal of automated reasoning

Dordrecht [u.a.] : Springer 1.1985 -

Diesen Titel auf die Merkliste setzen
Optionen
ExportierenMARC21xmlJSON-LDTurtleRDF/XMLFeedback
Bestellen
Mehr Titelinformationen
ZDB-ID

51516-4  

Titel

Journal of automated reasoning

Erschienen

Dordrecht [u.a.] : Springer

Dordrecht [u.a.] : Kluwer Acad. Publ. [-2004,1]

Dordrecht [u.a.] : Reidel [früher]

Erscheinungsverlauf

1.1985 -

Andere Ausgaben

Erscheint auch als Online-Ausgabe:  Journal of automated reasoning  (ISSN: 1573-0670) 

Standardnummern

ISSN: 0168-7433

OCLC-Nr.: 310948421

Sacherschließung

DDC-Sachgruppen der ZDB: 400 Sprache, Linguistik  ;  004 Informatik 

Weitere Klassifikation(en):
Regensburger Verbundklassifikation (rvk): EQ 1000

Schlagwörter:
Automatisches Beweisverfahren ; Zeitschrift
Informatik ; Zeitschrift

Sondersammelgebiet: 7,11 ; 17,1 ; FID-LING-DE-30

Erscheinungsform

Zeitschrift

Sprache

Englisch 

Erscheinungsland

Niederlande 

Medientyp

Druckausgabe

IDN

010451579

Letzte Änderung

03-09-22

SchließenxKostenpflichtige Dokumentlieferdienste: Lieferung von Aufsatzkopien und Druckausgaben zur Ausleihe
Bitte beachten Sie: Die ZDB bietet lediglich den Link zum Bestellsystem und übernimmt keinerlei Gewähr für eine erfolgreiche Bestellung. Richten Sie Fragen bitte ausschließlich an die Auskunft Ihrer Heimatbibliothek. Bitte beachten Sie die Bedingungen der einzelnen Anbieter.

Bestand filtern

Bestand filtern
Bestand filtern

Erscheinungsjahr

Fernleihregion

Ort der Bibliothek

Titel exportieren
Schließen x
Vorschau
Sortierung
Alle Bestände anzeigen
Aachen UB Informatik
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NRW, DE-82-103]
Bestand
Bestand
1.1985 - 63.2019
Fernleihe
nein
Augsburg UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-384]
Bestand
Standort
00 / Standortsignatur: 00/SQ 7558
Bestand
12 (1994) - 23 (1999)
Fernleihe
ja, Kopie und Ausleihe
Berlin UBFU Campusbibliothek
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BER, DE-188-930]
Bestand
Bestand
1.1985 - 13.1994
Bestandslücken
[L=2]
Fernleihe
nein
Berlin UBTU
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BER, DE-83]
Bestand
Signatur
8Xm478
Standort
Zeitschriften-Freihandmagazin
Bestand
1.1985 - 59.2017
Fernleihe
ja, nur Papierkopie
Bremen SuUB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[HAM, DE-46]
Bestand
Signatur
ff 0967
Standort
Magazin Zs
Bestand
30.2003 - 47.2011
[1.1985 - 29.2002 online vorhanden. - Forts. ab 2012 Online]
Fernleihe
ja, Kopie und Ausleihe
Darmstadt ULB-Stadtmitte
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[HES, DE-17]
Bestand
Signatur
J:SQ 7558
Standort
4. Obergeschoss
Bestand
1.1985 - 33.2004,1u.3-4; 34.2005 - 48.2012
Fernleihe
ja, nur Papierkopie
Dortmund UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NRW, DE-290]
Bestand
Standort
SM / Standortsignatur: ZSn 338
Bestand
30.2003 - 47.2011
Fernleihe
ja, nur Papierkopie
Dresden SLUB, BB Drepunct
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[SAX, DE-14-08]
Bestand
Signatur
19 8 02240
Bestand
2.1986 - 49.2012
Fernleihe
ja, Kopie und Ausleihe
Eichstätt UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-824]
Bestand
Standort
00 / Standortsignatur: 00/EQ 2626
Bestand
1.1973 - 7.1991
Fernleihe
ja, Kopie und Ausleihe
Frankfurt/M UB/ZB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[HES, DE-30]
Bestand
Signatur
Zs 17680
Bestand
1.1985 - 55.2015
Fernleihe
ja, Kopie und Ausleihe
Göttingen SUB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NIE, DE-7]
Bestand
Signatur
ZA 62726
Fernleihe
ja, Kopie und Ausleihe
Halle/S ZwB Heide-Süd
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[SAA, DE-3-4]
Bestand
Signatur
MI ZS
Standort
Ha 4
Bestand
8.1992 - 49.2012
Fernleihe
ja, nur Papierkopie
Hamburg Department Informatik
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[HAM, DE-18-228]
Bestand
Standort
18/228
Bestand
1.1985 - 17.1996
Fernleihe
nein
Hannover TIB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NIE, DE-89]
Bestand
Signatur
ZO 3208 [Haus2]
Bestand
[Mit 63.2019 abbestellt]
Fernleihe
ja, nur Papierkopie
Kaiserslautern UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NRW, DE-386]
Bestand
Signatur
INF Z 4869
Standort
ZSINF
Bestand
1.1985 - 35.2005
Fernleihe
ja, nur Papierkopie
Kiel UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[HAM, DE-8]
Bestand
Signatur
Xa 4526
Standort
16
Bestand
3.1987 - 5.1989
[*1]
Fernleihe
ja, Kopie und Ausleihe
Koblenz UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NRW, DE-Kob7]
Bestand
Signatur
INF 040 89
Standort
MAGZS
Bestand
5.1989 - 23.1999
Fernleihe
ja, nur Papierkopie
Leipzig UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[SAX, DE-15]
Bestand
Signatur
SQ 7558
Standort
CB/FH / Standortsignatur: 02ZA-2005-32
Bestand
6.1990 - 43.2009
Fernleihe
ja, nur Papierkopie
München BSB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-12]
Bestand
Signatur
W 85.509
Bestand
1.1985 - 19.1997
[Ab 20.1998 abbestellt]
Fernleihe
ja, Kopie und Ausleihe
München TU/TeilB Garching
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-91G]
Bestand
Standort
0106 / Standortsignatur: 0106/Ohne Sign.
Bestand
1.1985 - 38.2007
Fernleihe
ja, Kopie und Ausleihe
München UB LMU
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-19]
Bestand
Standort
1602 / Standortsignatur: 1602/ZS 50
Bestand
31.2003 - 32.2004; 34.2005 - 49.2012
Fernleihe
ja, nur Papierkopie
Münster Bibl. Math./Informatik
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NRW, DE-6-022]
Bestand
Signatur
Informatik
Bestand
4.1988 - 15.1995
Fernleihe
nein
Neubiberg UniBundeswehr
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-706]
Bestand
Signatur
Mag/Z7234
Bestand
2.1986 - 45.2010
Fernleihe
ja, Kopie und Ausleihe
Oberwolfach Math. FI
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAW, DE-Frei3c]
Bestand
Bestand
1.1985 - 13.1994
Fernleihe
nein
Passau UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-739]
Bestand
Standort
00 / Standortsignatur: 00/SA 6140
Bestand
30.2003 - 41.2008
Bestandslücken
[N=33.2004,2]
Fernleihe
ja, Kopie und Ausleihe
Potsdam UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BER, DE-517]
Bestand
Signatur
Z 9913
Standort
3200
Bestand
30.2003 - 47.2011
[[N=33.2004,2]]
Fernleihe
ja, nur Papierkopie
Rostock UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[HAM, DE-28]
Bestand
Signatur
SQ 5810
Standort
28/BB1-MAG
Fernleihe
ja, Kopie und Ausleihe
Saarbrücken MPI Informatik
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAW, DE-Sa18]
Bestand
Signatur
Z 149
Bestand
1.1985 - 4.1988; 16.1996 - 49.2012
Fernleihe
ja, nur Papierkopie
Saarbrücken SULB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAW, DE-291]
Bestand
Signatur
Z 9499
Standort
Informatik / Standortsignatur: Z 149
Bestand
5.1989 - 15.1995
Fernleihe
ja, Kopie und Ausleihe
Siegen UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NRW, DE-467]
Bestand
Signatur
50-64J8
Standort
Adolf-Reichwein-Straße, Ebene -1, Zeitschriften
Bestand
30.2003 - 35.2005
[[N=33,2]]
Fernleihe
ja, Kopie und Ausleihe
Trier UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NRW, DE-385]
Bestand
Signatur
z10470K
Standort
72
Bestand
1.1985 - 31.2003
Fernleihe
ja, nur Papierkopie
Ulm kiz
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAW, DE-289]
Bestand
Signatur
6762
Standort
Z
Bestand
1.1985 - 45.2010
Bestandslücken
[N=33.2004,2]
Fernleihe
ja, Kopie und Ausleihe
Wadern SchlossDagstuhl LZI/WGL
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAW, DE-982]
Bestand
Signatur
Z 1
Bestand
1.1985 - 33.2004
[Späteres nur noch als Internetausg.]
Fernleihe
ja, nur Papierkopie
Wien TU HB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[WEU, AT-UBTUW-HB]
Bestand
Signatur
186322 I
Standort
ZS DAT-Magazin (Mag1B) + Fh DAT
Bestand
2.1986 - 26.2001
Fernleihe
nein
Würzburg UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[BAY, DE-20]
Bestand
Standort
750 / Standortsignatur: 750/ohne Sign.
Bestand
7.1991-11.1993
Fernleihe
nein
Wuppertal UB
Link zur Standortkarte mit weiterführenden Bibliotheksinformationen[NRW, DE-468]
Bestand
Signatur
04J14
Standort
04
Bestand
1.1985 - 6.1990
Fernleihe
ja, Kopie und Ausleihe
Signatur
04J14
Standort
10
Bestand
7.1991 - 29.2007
Fernleihe
ja, Kopie und Ausleihe