02248nlm0 22006011i 450 9900092571504033219783540875314000925715FED01000925715(Aleph)000925715FED0100092571520100926d2008----km-y0itay50------baengDEdrnn-008mamaaComputer Science LogicRisorsa elettronica22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. 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, Michael Kaminski, Simone MartiniBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97435213Documento elettronicoTestoFormato html, pdfHutchison,DavidKaminski,MichaelKanade,TakeoKittler,JosefKleinberg,Jon M.Martini,SimoneMattern,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-540-87531-4EB990009257150403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogic, Symbolic and mathematicalLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesMathematical Logic and FoundationsComputer Science Logic771972UNINA01061cam0 2200289 450 E60020005089420200527083248.020090630d1981 |||||ita|0103 baitaITPer Galileoattualità del razionalismoAppendicesette interventi francesi sul Galileo di GeymonatLudovico Geymonata cura di Mario QuarantaVeronaBertani Editore1981275 p.21 cmIl lavoro criticoEpistemologia17001LAEC000269482001 *Il lavoro critico / Epistemologia17Geymonat, LudovicoAF000059390708631QUARANTA, MarioAF00017320070ITUNISOB20200527RICAUNISOBUNISOB10034825E600200050894M 102 Monografia moderna SBNM100002230Si34825AcquistocutoloUNISOBUNISOB20090630073706.020200527083232.0SpinosaPer Galileo1708107Appendice1708108UNISOB01045cam0 2200301 450 E60020004233520210608062646.0882116620120081125d1990 |||||ita|0103 baitaITCristianesimo e socialismoAlfredo LucianiGenovaMarietti19902 v.22 cmCollana di Saggistica44001LAEC000159362001 *Collana di Saggistica44Luciani, AlfredoA600200051082070233777ITUNISOB20210608RICAUNISOBUNISOB32061292UNISOB32061293E600200042335M 102 Monografia moderna SBNM320001327-1Si61292Acquistopregresso3UNISOBUNISOB20081125133346.020200115105317.0bethb320001327-2SI61293acquistobethbUNISOBUNISOB20200115105319.020200115110209.0bethbCristianesimo e socialismo716658UNISOB