Skip to content

Zeitschriftendatenbank

Content

New search

Journal of automated reasoning

Dordrecht [u.a.] : Springer 1985 -

Place this title record on the watch list
Options
ExportMARC21xmlJSON-LDTurtleRDF/XMLFeedback
Order options
More title information
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

English 

Country of publication

Netherlands 

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

Filter holdings
Filter holdings

Year of publication

Interlibrary loan region

Location of library

Export title record
Close x
Preview
Sorted by
Display all holding information
Aachen UB Informatik
Link to library information[NRW, DE-82-103]
Holdings
Holdings
1.1985 - 63.2019
Interlibrary loan
no
Augsburg UB
Link to library information[BAY, DE-384]
Holdings
Location
00 / shelf number: 00/SQ 7558
Holdings
12 (1994) - 23 (1999)
Interlibrary loan
yes, copy and loan
Berlin UBFU Campusbibliothek
Link to library information[BER, DE-188-930]
Holdings
Holdings
1.1985 - 13.1994
Holdings gaps
[L=2]
Interlibrary loan
no
Berlin UBTU
Link to library information[BER, DE-83]
Holdings
Shelfmark
8Xm478
Location
Zeitschriften-Freihandmagazin
Holdings
1.1985 - 59.2017
Interlibrary loan
yes, paper copy only
Bremen SuUB
Link to library information[HAM, DE-46]
Holdings
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
Link to library information[HES, DE-17]
Holdings
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
Dortmund UB
Link to library information[NRW, DE-290]
Holdings
Location
SM / shelf number: ZSn 338
Holdings
30.2003 - 47.2011
Interlibrary loan
yes, copy, electronic distribution to end user possible
Dresden SLUB, BB Drepunct
Link to library information[SAX, DE-14-08]
Holdings
Shelfmark
19 8 02240
Holdings
2.1986 - 49.2012
Interlibrary loan
yes, copy and loan
Eichstätt UB
Link to library information[BAY, DE-824]
Holdings
Location
00 / shelf number: 00/EQ 2626
Holdings
1.1973 - 7.1991
Interlibrary loan
yes, copy and loan
Frankfurt/M UB/ZB
Link to library information[HES, DE-30]
Holdings
Shelfmark
Zs 17680
Holdings
1.1985 - 55.2015
Interlibrary loan
yes, copy and loan
Göttingen SUB
Link to library information[NIE, DE-7]
Holdings
Shelfmark
ZA 62726
Holdings
1.1985 - 53.2014
Interlibrary loan
yes, copy and loan
Halle/S ZwB Heide-Süd
Link to library information[SAA, DE-3-4]
Holdings
Shelfmark
MI ZS
Location
Ha 4
Holdings
8.1992 - 49.2012
Interlibrary loan
yes, paper copy only
Hamburg Department Informatik
Link to library information[HAM, DE-18-228]
Holdings
Location
18/228
Holdings
1.1985 - 17.1996
Interlibrary loan
no
Hannover TIB
Link to library information[NIE, DE-89]
Holdings
Shelfmark
ZO 3208 Haus2
Holdings
1.1985 - 63.2019
Interlibrary loan
yes, paper copy only
Kaiserslautern UB
Link to library information[NRW, DE-386]
Holdings
Shelfmark
INF Z 4869
Location
ZSINF
Holdings
1.1985 - 35.2005
Interlibrary loan
yes, paper copy only
Kiel UB
Link to library information[HAM, DE-8]
Holdings
Shelfmark
Xa 4526
Location
16
Holdings
3.1987 - 5.1989
[*1]
Interlibrary loan
yes, copy and loan
Koblenz UB
Link to library information[NRW, DE-Kob7]
Holdings
Shelfmark
INF 040 89
Location
MAGZS
Holdings
5.1989 - 23.1999
Interlibrary loan
yes, paper copy only
Leipzig UB
Link to library information[SAX, DE-15]
Holdings
Shelfmark
SQ 7558
Location
CB/FH / shelf number: 02ZA-2005-32
Holdings
6.1990 - 43.2009
Interlibrary loan
yes, paper copy only
München BSB
Link to library information[BAY, DE-12]
Holdings
Shelfmark
W 85.509
Holdings
1.1985 - 19.1997
[Ab 20.1998 abbestellt]
Interlibrary loan
yes, copy and loan
München TU/TeilB Garching
Link to library information[BAY, DE-91G]
Holdings
Location
0106 / shelf number: 0106/Ohne Sign.
Holdings
1.1985 - 38.2007
Interlibrary loan
yes, copy and loan
München UB LMU
Link to library information[BAY, DE-19]
Holdings
Location
1602 / shelf number: 1602/ZS 50
Holdings
31.2003 - 32.2004; 34.2005 - 49.2012
Interlibrary loan
yes, paper copy only
Münster Bibl. Math./Informatik
Link to library information[NRW, DE-6-022]
Holdings
Shelfmark
Informatik
Holdings
4.1988 - 15.1995
Interlibrary loan
no
Neubiberg UniBundeswehr
Link to library information[BAY, DE-706]
Holdings
Shelfmark
Mag/Z7234
Holdings
2.1986 - 45.2010
Interlibrary loan
yes, copy and loan
Oberwolfach Math. FI
Link to library information[BAW, DE-Frei3c]
Holdings
Holdings
1.1985 - 13.1994
Interlibrary loan
no
Passau UB
Link to library information[BAY, DE-739]
Holdings
Location
00 / shelf number: 00/SA 6140
Holdings
30.2003 - 41.2008
Holdings gaps
[N=33.2004,2]
Interlibrary loan
yes, copy and loan
Potsdam UB
Link to library information[BER, DE-517]
Holdings
Shelfmark
Z 9913
Location
3200
Holdings
30.2003 - 47.2011
[[N=33.2004,2]]
Interlibrary loan
yes, paper copy only
Rostock UB
Link to library information[HAM, DE-28]
Holdings
Shelfmark
SQ 5810
Location
28/BB1-MAG
Interlibrary loan
yes, copy and loan
Saarbrücken MPI Informatik
Link to library information[BAW, DE-Sa18]
Holdings
Shelfmark
Z 149
Holdings
1.1985 - 4.1988; 16.1996 - 49.2012
Interlibrary loan
yes, paper copy only
Saarbrücken SULB
Link to library information[BAW, DE-291]
Holdings
Shelfmark
Z 9499
Location
Informatik / shelf number: Z 149
Holdings
5.1989 - 15.1995
Interlibrary loan
yes, copy and loan
Siegen UB
Link to library information[NRW, DE-467]
Holdings
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
Trier UB
Link to library information[NRW, DE-385]
Holdings
Shelfmark
z10470K
Location
72
Holdings
1.1985 - 31.2003
Interlibrary loan
yes, paper copy only
Ulm kiz
Link to library information[BAW, DE-289]
Holdings
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
Link to library information[BAW, DE-982]
Holdings
Shelfmark
Z 1
Holdings
1.1985 - 33.2004
[Späteres nur noch als Internetausg.]
Interlibrary loan
yes, paper copy only
Wien TU
Link to library information[WEU, AT-UBTUW]
Holdings
Shelfmark
186322 I
Location
TU Wien Main Library, 9311 - Magazin (2.UG DAT-Zeitschriften)
Holdings
2.1986 - 26.2001
Interlibrary loan
yes, paper copy only
Würzburg UB
Link to library information[BAY, DE-20]
Holdings
Location
750 / shelf number: 750/ohne Sign.
Holdings
7.1991-11.1993
Interlibrary loan
no
Wuppertal UB
Link to library information[NRW, DE-468]
Holdings
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