- Tytuł:
- A proof theoretic view of constraint programming
- Autorzy:
- Apt, K.R.
- Data publikacji:
- 1998
- Słowa kluczowe:
-
constraints
constraint propagation
proof rules
linear constraints - Pokaż więcej
- Dostawca treści:
- BazTech
Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.