> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: New results on quantifier elimination over real closed fields and applications to constraint databases Beteiligte: Basu, Saugata [VerfasserIn] Erschienen: Almaden; Zurich [u.a.]: IBM, 1998 Erschienen in: Thomas J. Watson Research Center: Research report / RC ; 21240 Umfang: 24 S. Sprache: Englisch RVK-Notation: SS 5104 : Research Report (IBM): RC Entstehung: Anmerkungen: Weitere Bestandsnachweise 0 : Thomas J. Watson Research Center <Yorktown Heights, NY>: Research report / RC
Bereichsbibliothek DrePunct – Magazin Signatur: 1998 4 007160 001 Barcode: 30443440 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden