Cover von Part I.; Automated Reasoning opens in new tab

Part I.; Automated Reasoning

13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I
Search for this author
Year: 2026
Publisher: Berlin, Springer
Automated Reasoning
Volume: Part I.
Series: Lecture notes in artificial intelligence; 16688
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: Location 2: Location 3: Status: reference collection

Details

Search for this author
Year: 2026
Publisher: Berlin, Springer
Parent work: Automated Reasoning
Volume: Part I.
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-03-232588-4
ISBN (2nd): 3-03-232588-9
Description: XIX, 466 S.
Series: Lecture notes in artificial intelligence; 16688
Participating parties: Search for this character Biere, Armin; Lutz, Carsten; Negri, Sara
Media group: MONOGRAPHIE