Flick Club LogoFlick Club Logo

Discover Hol

Find new Movies, TV shows, Games, and Books with Flick Club.

Types for Proofs and Programs
- 0 votes
Theorem proving with the real numbers
- 0 votes
Results of the 2001 Kerak Plateau Early Bronze Age survey
- 0 votes
Theorem proving in higher order logics
- 0 votes
Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten
- 0 votes
Eine formale algorithmische Synthese digitaler Schaltungen
- 0 votes