Automated Reasoning
Saved in:
Year of Publication: | 2024 |
---|---|
Language: | English |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
LEADER | 00312nam a2200121zu 4500 | ||
---|---|---|---|
001 | 993683344804498 | ||
005 | 20240709140355.0 | ||
006 | m o d | | ||
007 | cr ||||||||||| | ||
008 | 240709|2024uuuuxx |||||o |||| ||eng d | ||
020 | |a 3-031-63501-9 | ||
035 | |a (CKB)32674688700041 | ||
035 | |a (EXLCZ)9932674688700041 | ||
245 | 0 | 0 | |a Automated Reasoning |
260 | |b Springer Nature Switzerland |c 2024 | ||
776 | |z 3-031-63500-0 | ||
906 | |a BOOK | ||
ADM | |b 2024-08-05 02:18:16 Europe/Vienna |f System |c marc21 |a 2024-07-09 13:03:55 Europe/Vienna |g false | ||
AVE | |i DOAB Directory of Open Access Books |P DOAB Directory of Open Access Books |x https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&portfolio_pid=5357053070004498&Force_direct=true |Z 5357053070004498 |b Available |8 5357053070004498 |