KOBV Portal

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Online Resource

Bledsoe, W. W. ; Feng, Guohui

Springer Science and Business Media LLC ; 1993

In: Journal of Automated Reasoning Vol. 11, No. 3 ( 1993), p. 293-314

add to watchlist on the watchlist

Details

In: Journal of Automated Reasoning, Springer Science and Business Media LLC, Vol. 11, No. 3 ( 1993), p. 293-314

Type of Medium: Online Resource

ISSN: 0168-7433 , 1573-0670

URL: Article

DOI: 10.1007/BF00881869

RVK:

EQ 1000

Language: English

Publisher: Springer Science and Business Media LLC

Publication Date: 1993

detail.hit.zdb_id: 1479376-3

SSG: 7,11

SSG: 17,1

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Availability (electronic / print)

hit 1 - 1 | 1 hit

Kooperativer Bibliotheksverbund