KOBV Portal

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Online Resource

Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings (2022)

IJCAR (Conference) (11th : 2022 : Haifa, Israel) ; Blanchette, Jasmin, [editor.] ; Kovács, Laura, [editor.] ; [et al.]

Cham, Switzerland :Springer,

add to watchlist on the watchlist

Details

UID:

kobvindex_HPB1338199767

Format: 1 online resource (xv, 756 pages) : , illustrations (some color).

ISBN: 9783031107696 , 3031107691

Series Statement: Lecture notes in artificial intelligence 13385

Content: This is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Note: Includes author index.

Language: English

Keywords: Electronic books. ; Electronic books. ; Conference papers and proceedings.

DOI: 10.1007/978-3-031-10769-6

URL: SpringerLink

URL: Click here to view book

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Open Access Request

HPol Brandenburg

hit 1 - 1 | 1 hit

Kooperativer Bibliotheksverbund

Berlin Brandenburg