Skip to content

Zeitschriftendatenbank

Content

ZDB-ID

51516-4  

Title

Journal of automated reasoning

Published

Dordrecht [u.a.] : Springer

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

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

Publication history

1.1985 -

Other editions

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

Standard numbers

ISSN: 0168-7433

OCLC number: 310948421

Subject indexing

DDC subject groups: 400 Language  ;  004 Data processing & computer science 

Other classifications:
Regensburger Verbundklassifikation (rvk): EQ 1000

German subject headings:
Automatisches Beweisverfahren ; Zeitschrift
Informatik ; Zeitschrift

Special subject collections: 7,11 ; 17,1 ; FID-LING-DE-30

Manifestation

journal

Language
Country of publication
Media type

Print

IDN

010451579

Last Change

03-09-22

ClosexDelivery services
Please note: The ZDB only provides links to the delivery services. Please note the providers’ terms of service.

Filter holdings

Year of publication

Interlibrary loan region

Location of library

Export title record
Close x
Sorted by
Display all holding information
Aachen UB Informatik
Holdings
1.1985 - 63.2019
Interlibrary loan
no
Location
00 / shelf number: 00/SQ 7558
Holdings
12 (1994) - 23 (1999)
Interlibrary loan
yes, copy and loan
Berlin UBFU Campusbibliothek
Holdings
1.1985 - 13.1994
Holdings gaps
[L=2]
Interlibrary loan
no
Shelfmark
8Xm478
Location
Zeitschriften-Freihandmagazin
Holdings
1.1985 - 59.2017
Interlibrary loan
yes, paper copy only
Shelfmark
ff 0967
Location
Magazin Zs
Holdings
30.2003 - 47.2011
[1.1985 - 29.2002 online vorhanden. - Forts. ab 2012 Online]
Interlibrary loan
yes, copy and loan
Darmstadt ULB-Stadtmitte
Shelfmark
J:SQ 7558
Location
4. Obergeschoss
Holdings
1.1985 - 33.2004,1u.3-4; 34.2005 - 48.2012
Interlibrary loan
yes, paper copy only
Location
SM / shelf number: ZSn 338
Holdings
30.2003 - 47.2011
Interlibrary loan
yes, paper copy only
Dresden SLUB, BB Drepunct
Shelfmark
19 8 02240
Holdings
2.1986 - 49.2012
Interlibrary loan
yes, copy and loan
Eichstätt UB
Location
00 / shelf number: 00/EQ 2626
Holdings
1.1973 - 7.1991
Interlibrary loan
yes, copy and loan
Frankfurt/M UB/ZB
Shelfmark
Zs 17680
Holdings
1.1985 - 55.2015
Interlibrary loan
yes, copy and loan
Göttingen SUB
Shelfmark
ZA 62726
Interlibrary loan
yes, copy and loan
Halle/S ZwB Heide-Süd
Shelfmark
MI ZS
Location
Ha 4
Holdings
8.1992 - 49.2012
Interlibrary loan
yes, paper copy only
Hamburg Department Informatik
Location
18/228
Holdings
1.1985 - 17.1996
Interlibrary loan
no
Shelfmark
ZO 3208 [Haus2]
Holdings
[Mit 63.2019 abbestellt]
Interlibrary loan
yes, paper copy only
Kaiserslautern UB
Shelfmark
INF Z 4869
Location
ZSINF
Holdings
1.1985 - 35.2005
Interlibrary loan
yes, paper copy only
Shelfmark
Xa 4526
Location
16
Holdings
3.1987 - 5.1989
[*1]
Interlibrary loan
yes, copy and loan
Shelfmark
INF 040 89
Location
MAGZS
Holdings
5.1989 - 23.1999
Interlibrary loan
yes, paper copy only
Shelfmark
SQ 7558
Location
CB/FH / shelf number: 02ZA-2005-32
Holdings
6.1990 - 43.2009
Interlibrary loan
yes, paper copy only
Shelfmark
W 85.509
Holdings
1.1985 - 19.1997
[Ab 20.1998 abbestellt]
Interlibrary loan
yes, copy and loan
München TU/TeilB Garching
Location
0106 / shelf number: 0106/Ohne Sign.
Holdings
1.1985 - 38.2007
Interlibrary loan
yes, copy and loan
München UB LMU
Location
1602 / shelf number: 1602/Zeitschriftenbestand
Holdings
12.1994 - 28.2002; 31.2003 - 32.2004; 34.2005 - 49.2012
[Standort: Magazin]
Interlibrary loan
yes, paper copy only
Münster Bibl. Math./Informatik
Shelfmark
Informatik
Holdings
4.1988 - 15.1995
Interlibrary loan
no
Neubiberg UniBundeswehr
Shelfmark
Mag/Z7234
Holdings
2.1986 - 45.2010
Interlibrary loan
yes, copy and loan
Oberwolfach Math. FI
Holdings
1.1985 - 13.1994
Interlibrary loan
no
Location
00 / shelf number: 00/SA 6140
Holdings
30.2003 - 41.2008
Holdings gaps
[N=33.2004,2]
Interlibrary loan
yes, copy and loan
Shelfmark
Z 9913
Location
3200
Holdings
30.2003 - 47.2011
[[N=33.2004,2]]
Interlibrary loan
yes, paper copy only
Shelfmark
SQ 5810
Location
28/BB1-MAG
Interlibrary loan
yes, copy and loan
Saarbrücken MPI Informatik
Shelfmark
Z 149
Holdings
1.1985 - 4.1988; 16.1996 - 49.2012
Interlibrary loan
yes, paper copy only
Saarbrücken SULB
Shelfmark
Z 9499
Location
Informatik / shelf number: Z 149
Holdings
5.1989 - 15.1995
Interlibrary loan
yes, copy and loan
Shelfmark
50-64J8
Location
Adolf-Reichwein-Straße, Ebene -1, Zeitschriften
Holdings
30.2003 - 35.2005
[[N=33,2]]
Interlibrary loan
yes, copy and loan
Shelfmark
z10470K
Location
72
Holdings
1.1985 - 31.2003
Interlibrary loan
yes, paper copy only
Shelfmark
6762
Location
Z
Holdings
1.1985 - 45.2010
Holdings gaps
[N=33.2004,2]
Interlibrary loan
yes, copy and loan
Wadern SchlossDagstuhl LZI/WGL
Shelfmark
Z 1
Holdings
1.1985 - 33.2004
[Späteres nur noch als Internetausg.]
Interlibrary loan
yes, paper copy only
Wien TU HB
Link to library information[WEU, AT-UBTUW-HB]
Shelfmark
186322 I
Location
ZS DAT-Magazin (Mag1B) + Fh DAT
Holdings
2.1986 - 26.2001
Interlibrary loan
no
Location
750 / shelf number: 750/ohne Sign.
Holdings
7.1991-11.1993
Interlibrary loan
no
Wuppertal UB
Shelfmark
04J14
Location
04
Holdings
1.1985 - 6.1990
Interlibrary loan
yes, copy and loan
Shelfmark
04J14
Location
10
Holdings
7.1991 - 29.2007
Interlibrary loan
yes, copy and loan