- Start
- Deductive and Declarative Programming
Deductive and Declarative Programming
Angebote / Angebote:
The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.
Folgt in ca. 10 Arbeitstagen