h1

000228582 001__ 228582
000228582 005__ 20250218071045.0
000228582 0247_ $$2ISSN$$a0935-3232
000228582 0247_ $$2HSB$$a999910314052
000228582 037__ $$aRWTH-CONV-010468
000228582 041__ $$aEnglish
000228582 088__ $$2Other$$aAIB-2013-08
000228582 1001_ $$0P:(DE-82)IDM01624$$aJunges, Sebastian$$b0$$eAuthor$$urwth
000228582 245__ $$aOn Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers$$honline, print
000228582 260__ $$aAachen$$bShaker [u.a.]$$c2013
000228582 29510 $$aAachener Informatik-Berichte : AIB. - 2013,08
000228582 300__ $$a3-21
000228582 3367_ $$0PUB:(DE-HGF)7$$2PUB:(DE-HGF)$$aContribution to a book$$bcontb$$mcontb
000228582 4900_ $$aAachener Informatik-Berichte : AIB$$v2013,08
000228582 591__ $$aGermany
000228582 7001_ $$0P:(DE-588)1176159550$$aLoup, Ulrich$$b1$$eAuthor
000228582 7001_ $$0P:(DE-82)078667$$aCorzilius, Florian$$b2$$eAuthor
000228582 7001_ $$0P:(DE-82)IDM00047$$aÁbrahám, Erika$$b3$$eAuthor
000228582 8564_ $$uhttp://sunsite.informatik.rwth-aachen.de/Publications/AIB/2013/2013-08.pdf$$yFulltext
000228582 909CO $$ooai:publications.rwth-aachen.de:228582$$pVDB
000228582 9201_ $$0I:(DE-82)120000_20140620$$k120000$$lFachgruppe Informatik$$x0
000228582 9201_ $$0I:(DE-82)123420_20140620$$k123420$$lLehr- und Forschungsgebiet Theorie Hybrider Systeme$$x1
000228582 9201_ $$0I:(DE-82)121330_20140620$$k121330$$lJuniorprofessur für Theorie Hybrider Systeme$$x2
000228582 961__ $$c2014-09-10$$x2013-10-09$$z2012-02-20
000228582 970__ $$ahsb999910314052
000228582 980__ $$acontb
000228582 980__ $$aI:(DE-82)120000_20140620
000228582 980__ $$aVDB
000228582 980__ $$aUNRESTRICTED
000228582 980__ $$aConvertedRecord
000228582 980__ $$aI:(DE-82)123420_20140620
000228582 980__ $$aI:(DE-82)121330_20140620