TU Darmstadt / ULB / TUbiblio

Model Generation Theorem Proving with Finite Interval Constraints

Hähnle, Reiner and Hasegawa, Ryuzo and Shirai, Yasuyuki
Lloyd, John and Dahl, Veronica and Furbach, Ulrich and Kerber, Manfred and Lau, Kung-Kiu and Palamidessi, Catuscia and Pereira, Luís Moniz and Sagiv, Yehoshua and Stuckey, Peter (eds.) (2000):
Model Generation Theorem Proving with Finite Interval Constraints.
In: Proc. Computational Logic -- CL~2000, First International Conference, London, UK, Springer-Verlag, In: LNCS, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2000
Editors: Lloyd, John and Dahl, Veronica and Furbach, Ulrich and Kerber, Manfred and Lau, Kung-Kiu and Palamidessi, Catuscia and Pereira, Luís Moniz and Sagiv, Yehoshua and Stuckey, Peter
Creators: Hähnle, Reiner and Hasegawa, Ryuzo and Shirai, Yasuyuki
Title: Model Generation Theorem Proving with Finite Interval Constraints
Language: German
Title of Book: Proc. Computational Logic -- CL~2000, First International Conference, London, UK
Series Name: LNCS
Volume: 1861
Publisher: Springer-Verlag
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Engineering
Date Deposited: 31 Dec 2016 10:40
Identification Number: HHS00
Export:

Optionen (nur für Redakteure)

View Item View Item