Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Tsouanas, Athanasios"'
Autor:
Tsouanas, Athanasios
Cette thèse s’intéresse à la sémantique dénotationnelle (en théorie desmodèles et en théorie des jeux) de quatre langages de programmation logique: - LP, le plus restrictif de tous, - DLP, une extension de LP aux disjonctions, - LPN, une ex
Externí odkaz:
http://www.theses.fr/2014ENSL0919
