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

Autor:	Petermann, U
Jazyk:	angličtina
Rok vydání:	1993
Předmět:	Mathematical Physics and Mathematics
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od________65::53adfc1c13fde73a83ed3d171998e994 http://cds.cern.ch/record/257535 Zobrazit plný text záznamu