( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Quantifier elimination in the theory of Lp(Lq) Banach lattices.

, и . J. Logic & Analysis, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Guillaume Raynaud

Franziska Raynaud-Matheis

Yves Robert

Yves Steinmetz

Yves Burkhardt

 

Другие публикации лиц с тем же именем

A KQML-CORBA based architecture for intelligent agents communication in cooperative service and network management., , и . MMNS, том 112 из IFIP Conference Proceedings, стр. 95-106. Chapman & Hall, (1997)A generic multi-agent conceptual framework towards self-management., , и . NOMS, стр. 394-403. IEEE, (2006)APL as a compiler-writing language., и . ACM SIGAPL APL Quote Quad, 16 (1): 7-10 (1985)Quantifier elimination in the theory of Lp(Lq) Banach lattices., и . J. Logic & Analysis, (2011)An active CIM dependency pattern for a consistent service state monitoring., , , и . NOMS (1), стр. 883-884. IEEE, (2004)COBALT: an architecture for intelligent agent-based management., , и . NOMS, стр. 670-676. IEEE, (1998)A generic conceptual framework for self-managed environments., , и . Net-Con, том 229 из IFIP, стр. 131-136. Springer, (2005)Performance Evaluation for the Specification of Communicative Objects within a Cooperative GIS., , и . Applied Informatics, стр. 184-191. IASTED/ACTA Press, (1994)Flow control in ATM based local area networks., и . HPN, том 29 из IFIP Conference Proceedings, стр. 57-70. Chapman & Hall, (1995)Introducing Rigorous Metrics Specification and Verification into a Measurement Program., , и . IEEE METRICS, стр. 12-19. IEEE Computer Society, (1997)