Egile-bilaketaren emaitzak

1

Theorem proving in higher order logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 : proceedings /

Theorem proving in higher order logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 : proceedings /

nork TPHOLs 2009, Berghofer, Stefan.
Argitaratua 2009.

Testu osoa

Livro

Cannot write session to /tmp/vufind_sessions/sess_dj0sf90v2ik071gb2gd8mr2k7e