Skip to content

Zeitschriftendatenbank

Content

Search results

Refine results

Year of publication

Language

Country of publication

Media type

Format

Result list

matches 1 - 2  of
Sorted by

Journal of automated reasoning

Dordrecht [u.a.] : Springer 1.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

Online-Ausg.:  Journal of automated reasoning 

Standard numbers

ISSN of the original: 0168-7433

ISSN of the parallel edition: 1573-0670

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

Place this title record on the watch list

Journal of automated reasoning

Dordrecht [u.a.] : Springer Science + Business Media B.V. 1.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
Standard numbers

ISSN of the original: 1573-0670

ISSN of the parallel edition: 0168-7433

OCLC number: 645303182

Subject indexing
Manifestation

journal

Language
Country of publication
Media type

available online

IDN

019723504

Preservation

Committed to retain ; Institution:  DE-101 

Funded by

Place this title record on the watch list
export selected title record(s) or add to watch list