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 :4 rôle(s)

000 Code de fonction non reconnu ( 1 )
070 Auteur ( 2 )
340 Editeur scientifique ( 3 )
990 Fonction non précisée ( 1 )



Code de fonction non reconnu :

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



Auteur :

Rôles ?



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 , 1994

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



Editeur scientifique :

Rôles ?



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 ?



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