Consistency techniques for linear arithmetic and functional constraints /

Saved in:
Bibliographic Details
Main Author: Zhang, Yuanlin
Format: Thesis Book
Language:English
Published: 1998.
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!