01142nam a22002531i 450099100398809970753620040731164312.0040802s1980 fr |||||||||||||||||fre b13156615-39ule_instARCHE-110922ExLBiblioteca InterfacoltàitaA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.944.06Guériot, Paul200742L'evolution vers l'empire libéral, l'insurrection polonaise de 1863, le Mexique, la catastrophe de 1870, l'exil et la mort /Paul GuériotParis :Payot,c1980339 p. ;18 cmNapoléon III ;2Napoleone (Imperatore dei francesi ; 3.).b1315661502-04-1405-08-04991003988099707536LE002 Fondo Giudici L 253/00212002000306180le002V. 2. - C. 1-E0.00-no 00000.i1379503x05-08-04Evolution vers l'empire libéral, l'insurrection polonaise de 1863, le Mexique, la catastrophe de 1870, l'exil et la mort311274UNISALENTOle00205-08-04ma -frefr 2101452nam0 22003853i 450 SBL056469020231121125827.0IT759224 20021127d1974 ||||0itac50 baitaitaitz01i xxxe z01n˜La œprova di GödelErnest Nagel e James R. NewmanTorinoP. Boringhieri1974108 p.20 cmUniversale scientifica102Traduzione di Luigi Bianchi.001CFI00061392001 Universale scientifica102Gödelʼs proofCFI0825777PUVV21201921209Godel, KurtFIRRMLC010605IMatematicaFIRRMLC005038I510.121Nagel, ErnestPUVV21201907012057Newman, James R.RAVV07366707026295Newman, James RoyMILV190776Newman, James R.ITIT-0120021127IT-FR0084 IT-FR0017 Biblioteca Del Monumento Nazionale Di MontecassinoFR0084 Biblioteca umanistica Giorgio ApreaFR0017 NSBL0564690Biblioteca umanistica Giorgio Aprea 52DCB Nag.Pro. 52SBA0000242675 VMB RS A 2018061920180619 25 52Godel's proof21209UNICAS04253nam 22008295 450 991048489530332120251226195735.03-642-40669-610.1007/978-3-642-40669-0(CKB)3710000000019147(SSID)ssj0001010892(PQKBManifestationID)11636645(PQKBTitleCode)TC0001010892(PQKBWorkID)11000947(PQKB)11711383(DE-He213)978-3-642-40669-0(MiAaPQ)EBC3093074(PPN)172429811(EXLCZ)99371000000001914720130904d2013 u| 0engurnn#008mamaatxtccrProgress in Artificial Intelligence 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, Angra do Heroísmo, Azores, Portugal, September 9-12, 2013, Proceedings /edited by Luis Miguel Correia, Luís Paulo Reis, José Manuel Cascalho1st ed. 2013.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2013.1 online resource (XXX, 544 p. 172 illus.)Lecture Notes in Artificial Intelligence,2945-9141 ;8154Bibliographic Level Mode of Issuance: Monograph3-642-40668-8 Ambient intelligence and affective environments -- Artificial intelligence in transportation systems -- Artificial life and evolutionary algorithms -- Computational methods in bioinformatics and systems biology -- General artificial intelligence -- Intelligent robotics -- Knowledge discovery and business intelligence -- Multi-agent systems: theory and applications -- Social simulation and modeling -- Text mining and applications.This book constitutes the refereed proceedings of the 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, held in Angra do Heroísmo, Azores, Portugal, in September 2013. The 45 revised full papers presented were carefully reviewed and selected from a total of 157 submissions. The papers are organized in the following topical sections: ambient intelligence and affective environments; artificial intelligence in transportation systems; artificial life and evolutionary algorithms; computational methods in bioinformatics and systems biology; general artificial intelligence; intelligent robotics; knowledge discovery and business intelligence; multi-agent systems: theory and applications; social simulation and modeling; and text mining and applications.Lecture Notes in Artificial Intelligence,2945-9141 ;8154Artificial intelligenceApplication softwareComputer simulationImage processingDigital techniquesComputer visionData miningDatabase managementArtificial IntelligenceComputer and Information Systems ApplicationsComputer ModellingComputer Imaging, Vision, Pattern Recognition and GraphicsData Mining and Knowledge DiscoveryDatabase ManagementArtificial intelligence.Application software.Computer simulation.Image processingDigital techniques.Computer vision.Data mining.Database management.Artificial Intelligence.Computer and Information Systems Applications.Computer Modelling.Computer Imaging, Vision, Pattern Recognition and Graphics.Data Mining and Knowledge Discovery.Database Management.006.3Correia Luis Migueledthttp://id.loc.gov/vocabulary/relators/edtReis Luís Pauloedthttp://id.loc.gov/vocabulary/relators/edtCascalho José Manueledthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910484895303321Progress in Artificial Intelligence2556515UNINA