DaftarIsitemplate

Call Number

005.133 Bee P

Title

Using boolean constraint propagation for sub-clauses deduction, (LNCS-Lecture Notes in Computer Science 3709) Hal 757-761

Author

S. Darras; G. Dequen; L. Devendeville; B. Mazure; R. Ostrowski; L. Sais;

Publisher

Springer, 2005

Subject

Location