Skip to content

Zeitschriftendatenbank

Content

Search results

Refine results

Year of publication

Language

Country of publication

Media type

Manifestation

Result list

matches 1 - 2  of
Sorted by
load Indicator

Journal of automated reasoning

Dordrecht [u.a.] : Springer Science + Business Media B.V. 1985 -

National licence

ZDB-ID

1479376-3  

Title

Journal of automated reasoning

Published

Dordrecht [u.a.] : Springer Science + Business Media B.V.

Dordrecht [u.a.] : Kluwer [-2004]

Publication history

1.1985 -

Notes

Online-Ressource

Gesehen am 01.11.05

Other editions

Erscheint auch als Druck-Ausgabe:  Journal of automated reasoning  (ISSN: 0168-7433) 

Standard numbers

ISSN: 1573-0670

OCLC number: 1183389689

URL

https://ezb.ur.de/?1479376-3  [EZB] 

https://link.springer.com/journal/10817  [Publisher] 

https://link.springer.com/journal/10817  [Publisher; 1.1985 - 29.2002. - National licence] 

http://d-nb.info/019723504  

Subject indexing
Manifestation

journal

Language
Country of publication
Media type

available online

Preservation and archiving

Committed to retain ; Institution:  Frankfurt/M DNB 

Funded by

IDN

019723504

Last Change

14-06-24

Place this title record on the watch list

Journal of automated reasoning

Dordrecht [u.a.] : Springer 1985 -

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

Place this title record on the watch list
Place selected title records on the watch list
Export selected title records