KOBV Portal

Please enable Javascript in your browser preferences in order to use all features of KOBV Portal.

rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Hits per page

hit 1 - 1 | 1 hit

Select All Export

1

Book

Siekmann, Jörg H. ; Wrightson, Graham.

Berlin u.a. :Springer,

Show associated volumes

add to watchlist on the watchlist

Details

UID:

almahu_BV002384528

ISBN: 3-540-12043-2 , 0-387-12043-2

Series Statement: Symbolic computation.

Note: Erschienen: 1 - 2

Language: English

Subjects: Computer Science , Comparative Studies. Non-European Languages/Literatures , Philosophy

RVK:

CC 2600

RVK:

ER 300

RVK:

ST 285

RVK:

ST 304

RVK:

ST 130

Keywords: Automatisches Beweisverfahren ; Aufsatzsammlung

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

hit 1 - 1 | 1 hit

This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages

Kooperativer Bibliotheksverbund