Pfenning, Frank Amélioration Assistance
077921534
Notice de type Personne

Forme retenue

Pfenning, Frank

Information

Langue d'expression : anglais moyen (1100-1500)

Source

Generative programming and component engineering : second international conference GPCE 2003, Erfurt, Germany, september 2003 : proceedings / Ed. by Frank Pfenning, Yannis Smaragdakis, Springer, 2003

Utilisation dans Rameau

La vedette peut être employée dans une vedette RAMEAU
La vedette ne peut s'employer qu'en tête de vedette

Notices bibliographiques liées :2 rôle(s)

340 Editeur scientifique ( 7 )
990 Fonction non précisée ( 2 )



Editeur scientifique :

Rôles ?



155228579 : Generative Programming and Component Engineering [Ressource électronique] : Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003. Proceedings / edited by Frank Pfenning, Yannis Smaragdakis. / Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg , 2003

155193066 : Logic Programming and Automated Reasoning [Ressource électronique] : 5th International Conference, LPAR '94 Kiev, Ukraine, July 16–22, 1994 Proceedings / edited by Frank Pfenning. / Berlin, Heidelberg : Springer-Verlag , 2005

123137039 : Term Rewriting and Applications (vol. # 4098) [Ressource électronique] : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings / edited by Frank Pfenning. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2006

123163714 : Automated Deduction – CADE-21 [Ressource électronique] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings / edited by Frank Pfenning. / Berlin, Heidelberg : Springer Berlin Heidelberg , 2007

075226308 : Generative programming and component engineering [Texte imprimé] : Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings / Frank Pfenning, Yannis Smaragdakis (eds.) / Berlin : Springer , cop. 2003

109034953 : Term rewriting and applications [Texte imprimé] : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings / Frank Pfenning (ed.) / Berlin : Springer , cop. 2006

116279656 : Automated deduction [Texte imprimé] : CADE-21 : 21th international conference on automated deduction, Bremen, Germany, July 17-20, 2007 : proceedings / Frank Pfenning (Ed.) / Berlin : Springer , cop. 2007



Fonction non précisée :

Rôles ?



019372949 : Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings / Frank Pfenning (ed.) / Berlin : Springer-Verlag , c1994

023475897 : Types in logic programming [Texte imprimé] / edited by Frank Pfenning / Cambridge, Mass. : MIT Press , cop.1992


A propos Partenaires Conditions Générales d'Utilisation (CGU) Assistance