Theorem Proving in Higher Order Logics

Average vote of 0
| 0 total contributions of which 0 reviews , 0 quotes , 0 images , 0 notes , 0 video
This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 to ...Continua
- TIPS -
Nessun elemento trovato
Aggiungi per primo una recensione!

- TIPS -
Nessun elemento trovato
Aggiungi per primo una citazione!

- TIPS -
Nessun elemento trovato
Aggiungi per primo una immagine!

- TIPS -
Nessun elemento trovato
Aggiungi per primo una nota!

- TIPS -
Nessun elemento trovato
Aggiungi per primo un video!

Lorem Ipsum Color sit Amet
di Nome Autore
Lorem ipsum dolor sit amet, consectetur Suspendisse varius consequat feugiat.
Scheda libro
Aggiungi