Cargando…

Building-in a theory into a connection calculus with positive refinement

Detalles Bibliográficos
Autor principal: Petermann, U
Lenguaje:eng
Publicado: 1993
Materias:
Acceso en línea:http://cds.cern.ch/record/257535