Войти
Нет соединения — показаны сохранённые данные

Types for proofs and programs

Types for proofs and programs

TYPES 2006 (2006 Nottingham, England)

Войти и добавить на полку

Назад на полку

Похожие книги

II Jornadas Predoctorales en Estudios en la Antigüedad y la Edad Media
II Jornadas Predoctorales en Estudios en la Antigüedad y la Edad Media
Núria Olaya Montero
 Astrophotography
Astrophotography
IAU Workshop (1987 Jena, Germany)
 Representation theory
Representation theory
International Conference on Representations of Algebras (4th 1984 Ottawa, Ont.)
 Neuro-Ophthalmology
Neuro-Ophthalmology
Glaser
 Software engineering
Software engineering
Advanced Course on Software Engineering Munich 1972.
 Peptides
Peptides
American Peptide Symposium (9th 1985 Toronto, Ont.)