- Tytuł:
- Automating inductive specification proofs
- Autorzy:
-
Pientka, B.
Kreitz, Ch. - Data publikacji:
- 1999
- Słowa kluczowe:
-
theorem proving
program synthesis
induction - 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.