guest ::
| 001 | 228582 | ||
| 005 | 20250218071045.0 | ||
| 024 | 7 | _ | |2 ISSN |a 0935-3232 |
| 024 | 7 | _ | |2 HSB |a 999910314052 |
| 037 | _ | _ | |a RWTH-CONV-010468 |
| 041 | _ | _ | |a English |
| 088 | _ | _ | |2 Other |a AIB-2013-08 |
| 100 | 1 | _ | |0 P:(DE-82)IDM01624 |a Junges, Sebastian |b 0 |e Author |u rwth |
| 245 | _ | _ | |a On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers |h online, print |
| 260 | _ | _ | |a Aachen |b Shaker [u.a.] |c 2013 |
| 295 | 1 | 0 | |a Aachener Informatik-Berichte : AIB. - 2013,08 |
| 300 | _ | _ | |a 3-21 |
| 336 | 7 | _ | |0 PUB:(DE-HGF)7 |2 PUB:(DE-HGF) |a Contribution to a book |b contb |m contb |
| 490 | 0 | _ | |a Aachener Informatik-Berichte : AIB |v 2013,08 |
| 591 | _ | _ | |a Germany |
| 700 | 1 | _ | |0 P:(DE-588)1176159550 |a Loup, Ulrich |b 1 |e Author |
| 700 | 1 | _ | |0 P:(DE-82)078667 |a Corzilius, Florian |b 2 |e Author |
| 700 | 1 | _ | |0 P:(DE-82)IDM00047 |a Ábrahám, Erika |b 3 |e Author |
| 856 | 4 | _ | |u http://sunsite.informatik.rwth-aachen.de/Publications/AIB/2013/2013-08.pdf |y Fulltext |
| 909 | C | O | |o oai:publications.rwth-aachen.de:228582 |p VDB |
| 920 | 1 | _ | |0 I:(DE-82)120000_20140620 |k 120000 |l Fachgruppe Informatik |x 0 |
| 920 | 1 | _ | |0 I:(DE-82)123420_20140620 |k 123420 |l Lehr- und Forschungsgebiet Theorie Hybrider Systeme |x 1 |
| 920 | 1 | _ | |0 I:(DE-82)121330_20140620 |k 121330 |l Juniorprofessur für Theorie Hybrider Systeme |x 2 |
| 970 | _ | _ | |a hsb999910314052 |
| 980 | _ | _ | |a contb |
| 980 | _ | _ | |a I:(DE-82)120000_20140620 |
| 980 | _ | _ | |a VDB |
| 980 | _ | _ | |a UNRESTRICTED |
| 980 | _ | _ | |a ConvertedRecord |
| 980 | _ | _ | |a I:(DE-82)123420_20140620 |
| 980 | _ | _ | |a I:(DE-82)121330_20140620 |
| Library | Collection | CLSMajor | CLSMinor | Language | Author |
|---|