guest ::
| 001 | 833961 | ||
| 005 | 20251001115139.0 | ||
| 024 | 7 | _ | |2 ISSN |a 1613-0073 |
| 024 | 7 | _ | |2 SCOPUS |a SCOPUS:2-s2.0-85097264006 |
| 024 | 7 | _ | |2 datacite_doi |a 10.18154/RWTH-2021-09565 |
| 037 | _ | _ | |a RWTH-2021-09565 |
| 041 | _ | _ | |a English |
| 100 | 1 | _ | |0 P:(DE-82)IDM00047 |a Ábrahám, Erika |b 0 |e Corresponding author |u rwth |
| 111 | 2 | _ | |a 7. Workshop on Practical Aspects of Automated Reasoning |c online |d 2020-06-01 - 2020-07-31 |g PAAR |
| 245 | _ | _ | |a New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract) |h online |
| 260 | _ | _ | |a Aachen, Germany |b RWTH Aachen |c 2020 |
| 295 | 1 | 0 | |a PAAR+SC-Square 2020: Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Workshop 2020 : joint proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020 : co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020) : Paris, France, June-July, 2020 (virtual) / edited by Pascal Fontaine, Konstantin Korovin, Ilias S. Kotsireas, Philipp Rümmer, Sophie Tourret |
| 300 | _ | _ | |a 178-188 |
| 336 | 7 | _ | |0 33 |2 EndNote |a Conference Paper |
| 336 | 7 | _ | |0 PUB:(DE-HGF)1 |2 PUB:(DE-HGF) |a Abstract |b abstract |m abstract |x Extended abstract |
| 336 | 7 | _ | |0 PUB:(DE-HGF)7 |2 PUB:(DE-HGF) |a Contribution to a book |
| 336 | 7 | _ | |0 PUB:(DE-HGF)8 |2 PUB:(DE-HGF) |a Contribution to a conference proceedings |
| 336 | 7 | _ | |2 BibTeX |a INPROCEEDINGS |
| 336 | 7 | _ | |2 DRIVER |a conferenceObject |
| 336 | 7 | _ | |2 DataCite |a Output Types/Conference Abstract |
| 336 | 7 | _ | |2 ORCID |a OTHER |
| 490 | 0 | _ | |a CEUR workshop proceedings |v 2752 |
| 588 | _ | _ | |a Dataset connected to DataCite |
| 591 | _ | _ | |a Germany |
| 591 | _ | _ | |a UK |
| 700 | 1 | _ | |a Davenport, James |b 1 |
| 700 | 1 | _ | |a England, Matthew |b 2 |
| 700 | 1 | _ | |0 P:(DE-82)IDM01391 |a Kremer, Gereon |b 3 |u rwth |
| 700 | 1 | _ | |a Tonks, Zak |b 4 |
| 711 | 2 | _ | |a 10. International Joint Conference on Automated Reasoning |c online |d 2020-06-01 - 2020-07-31 |g IJCAR 2020 |
| 711 | 2 | _ | |a 5. Satisfiability Checking and Symbolic Computation Workshop |c online |d 2020-06-01 - 2020-07-31 |g (SC-Square) Workshop |
| 787 | 0 | _ | |0 RWTH-2021-09684 |i IsParent |
| 856 | 4 | _ | |u http://ceur-ws.org/Vol-2752/paper13.pdf |y Fulltext |
| 856 | 4 | _ | |u https://ceur-ws.org/Vol-2752/ |y Homepage of book |
| 856 | 4 | _ | |u https://publications.rwth-aachen.de/record/833961/files/833961.pdf |y OpenAccess |
| 909 | C | O | |o oai:publications.rwth-aachen.de:833961 |p VDB |p dnbdelivery |p driver |p open_access |p openaire |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM00047 |a RWTH Aachen |b 0 |k RWTH |
| 910 | 1 | _ | |0 I:(DE-588b)36225-6 |6 P:(DE-82)IDM01391 |a RWTH Aachen |b 3 |k RWTH |
| 914 | 1 | _ | |y 2020 |
| 915 | _ | _ | |0 LIC:(DE-HGF)CCBY4 |2 HGFVOC |a Creative Commons Attribution CC BY 4.0 |
| 915 | _ | _ | |0 StatID:(DE-HGF)0510 |2 StatID |a OpenAccess |
| 920 | 1 | _ | |0 I:(DE-82)123420_20140620 |k 123420 |l Lehr- und Forschungsgebiet Theorie Hybrider Systeme |x 0 |
| 920 | 1 | _ | |0 I:(DE-82)120000_20140620 |k 120000 |l Fachgruppe Informatik |x 1 |
| 980 | 1 | _ | |a FullTexts |
| 980 | _ | _ | |a I:(DE-82)120000_20140620 |
| 980 | _ | _ | |a I:(DE-82)123420_20140620 |
| 980 | _ | _ | |a UNRESTRICTED |
| 980 | _ | _ | |a VDB |
| 980 | _ | _ | |a abstract |
| 980 | _ | _ | |a contb |
| 980 | _ | _ | |a contrib |
| Library | Collection | CLSMajor | CLSMinor | Language | Author |
|---|