KOBV Portal

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Online Resource

Fontaine, Pascal 1964- ; CADE 27. 2019 Natal

Cham : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV046137486

Format: 1 Online-Ressource (XXIII, 582 p. 1901 illus., 56 illus. in color)

ISBN: 9783030294366

Series Statement: Lecture Notes in Computer Science 11716

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-29435-9

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-29437-3

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Automatisches Beweisverfahren ; Konferenzschrift

DOI: 10.1007/978-3-030-29436-6

URL: Volltext (URL des Erstveröffentlichers)

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

HTW Berlin

BTU Cottbus

hit 1 - 1 | 1 hit

Kooperativer Bibliotheksverbund