Schémas pour le calcul des propositions fondé sur la conjonction et la négation

E-ISSN： 1943-5886|23|4|421-431

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.23, Iss.4, 1958-12, pp. : 421-431

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A la recherche de la definition de la complexite d'espace pour le calcul des polynomes a la maniere de Valiant

The Journal of Symbolic Logic, Vol. 73, Iss. 4, 2008-12 ,pp. : 1179-1201

Cambridge University Press

Access to resources Recommend Favorite

La modélisation et le calcul de la combustion turbulente : problèmes généraux et solutions partielles

ESAIM: Proceedings, Vol. 6, Iss. issue, 1999-01 ,pp. : 1-12

Edp Sciences

Access to resources Recommend Favorite

Un Algorithme pour le Calcul des Syzygies sur V[X] dans le cas où V est un Domaine de Valuation

By Lombardi Henri Quitté Claude Yengui Ihsen

Communications in Algebra, Vol. 42, Iss. 9, 2014-09 ,pp. : 3768-3781

Taylor & Francis Ltd

Access to resources Recommend Favorite

Séparation des échelles et schémas multiniveaux pour les équations d'ondes non-linéaires

ESAIM: Proceedings, Vol. 27, Iss. issue, 2009-01 ,pp. : 180-208

Edp Sciences

Access to resources Recommend Favorite

Sur la séparation des racines des polynômes et une question de Sprindžuk

By AMOU Masaaki Bugeaud Yann

The Ramanujan Journal, Vol. 9, Iss. 1-2, 2005-03 ,pp. : 25-32

Springer Publishing Company

Access to resources Recommend Favorite