01719nlm0 22004811i 450 9900092613004033219783642030925000926130FED01000926130(Aleph)000926130FED0100092613020100926d2009----km-y0itay50------baengDEdrnn-008mamaaInfinity in Logic and ComputationRisorsa elettronicaInternational Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papersedited by Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt LöweBerlin ; HeidelbergSpringer2009Lecture Notes in Computer Science0302-97435489Documento elettronicoTestoFormato html, pdfArchibald,MargaretBrattka,VascoGoranko,ValentinLöwe,BenediktITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-642-03092-5EB990009261300403321Algorithm Analysis and Problem ComplexityArtificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceComputer softwareComputing MethodologiesElectronic data processingInformation theoryMathematical Logic and Formal LanguagesMathematics of ComputingTheory of ComputationInfinity in Logic and Computation774249UNINA