TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 1.

Hähnle, Reiner and Hasegawa, Ryuzo and Shirai, Yasuyuki Benhamou, Frédéric and Older, William J. and van Emden, Maarten and van Hentenryck, Pascal (eds.) (1995):
Model Generation Theorem Proving with Interval Constraints.
In: Proc. of {ILPS} Post-Conference Workshop on Interval Constraints, Portland/OR, USA, [Conference or Workshop Item]

This list was generated on Sat Aug 1 00:41:20 2020 CEST.