KOBV Portal

Hits per page

hit 1 - 1 | 1 hit

Sorting

Book

New York ; Chichester ; Brisbane ; Toronto ; Singapore : Wiley

add to watchlist on the watchlist

Details

UID:

b3kat_BV023697010

Format: XV, 511 S. , graph. Darst.

ISBN: 0471615463

Language: Undetermined

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

RVK:

ES 900

RVK:

SK 130

RVK:

ST 130

RVK:

ST 304

Keywords: Automatisches Beweisverfahren ; Mathematische Logik

Author information: Gallier, Jean H. 1949-

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

TH Brandenburg

hit 1 - 1 | 1 hit

Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.

Did you mean 0471415464?

Did you mean 0471165263?

Did you mean 0471461563?

Kooperativer Bibliotheksverbund