Skip to content

Zeitschriftendatenbank

Main navigation

Search history (1)
Watchlist
?
EN | DE

Content

Search

Search results

Refine results

Filter results list

Refine results

Year of publication

from

to

Language

English (2)

Country of publication

Netherlands (2)

Media type

Print (1) available online (1)

Manifestation

Journal (2)

Result list

matches 1 - 2 of 2

Sorted by

load Indicator

	Journal of automated reasoning Dordrecht [u.a.] : Springer Science + Business Media B.V. 1985 - National licence More title information Less title information Switch record display 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 DDC subject groups: 004 Data processing & computer science Manifestation journal Language English Country of publication Netherlands Media type available online Preservation and archiving Committed to retain ; Institution: Frankfurt/M DNB Funded by German Research Foundation (DFG) IDN 019723504 Last Change 13-11-24	Place this title record on the watch list
	Journal of automated reasoning Dordrecht [u.a.] : Springer 1985 - More title information Less title information Switch record display 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	Place this title record on the watch list

Select all from this page

Place selected title records on the watch list
Export selected title records Content Preview Export format Email Download E-mail

About us
ISIL-Agency
Contact
Imprint
Data security declaration

This service is offered by