TU Darmstadt / ULB / TUbiblio

Model Generation Theorem Proving with Interval Constraints

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]

Item Type: Conference or Workshop Item
Erschienen: 1995
Editors: Benhamou, Frédéric and Older, William J. and van Emden, Maarten and van Hentenryck, Pascal
Creators: Hähnle, Reiner and Hasegawa, Ryuzo and Shirai, Yasuyuki
Title: Model Generation Theorem Proving with Interval Constraints
Language: German
Title of Book: Proc. of {ILPS} Post-Conference Workshop on Interval Constraints, Portland/OR, USA
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Engineering
Date Deposited: 31 Dec 2016 10:40
Identification Number: HHS95
Export:

Optionen (nur für Redakteure)

View Item View Item