02313nlm0 22006251i 450 9900092607404033219783642022739000926074FED01000926074(Aleph)000926074FED0100092607420100926d2009----km-y0itay50------baengDEdrnn-008mamaaTyped Lambda Calculi and ApplicationsRisorsa elettronica9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedingsedited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Pierre-Louis CurienBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435608Documento elettronicoTestoFormato html, pdfCurien,Pierre-LouisHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Mattern,FriedemannMitchell,John C.Naor,MoniNierstrasz,OscarPandu Rangan,C.Steffen,BernhardSudan,MadhuTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Weikum,GerhardITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-02273-9EB990009260740403321AlgebraData processingComputer scienceComputer ScienceComputing MethodologiesElectronic data processingLogic designLogic, Symbolic and mathematicalLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesMathematical Logic and FoundationsMathematics of ComputingSymbolic and Algebraic ManipulationTyped Lambda Calculi and Applications772124UNINA00904nam0-22002891i-450-99000591711040332119980601000591711FED01000591711(Aleph)000591711FED0100059171119980601d1931----km-y0itay50------ba--------00-yy<<Il >>riconoscimento del colpevole nel nuovo codice di procedura penaleEnrico AltavillaLyonDesvigne193124 p.24 cm"Biblioth}que de la Revue Internationale de Criminalistique"345Altavilla,Enrico<1883-1968>130712ITUNINARICAUNIMARCBK990005917110403321MASS. B. 28 (42)40683FGBCFGBCRiconoscimento del colpevole nel nuovo codice di procedura penale562373UNINAGIU01