01795nlm0 22005051i 450 9900092503004033219783540730866000925030FED01000925030(Aleph)000925030FED0100092503020100926d2007----km-y0itay50------baengDEdrnn-008mamaaTowards Mechanized Mathematical AssistantsRisorsa elettronica14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedingsedited by Manuel Kauers, Manfred Kerber, Robert MiBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434573Documento elettronicoTestoFormato html, pdfKauers,ManuelKerber,ManfredMiner,RobertWindsteiger,WolfgangITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-73086-6EB990009250300403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer Communication NetworksComputer Communication NetworksComputer scienceComputer ScienceData miningData Mining and Knowledge DiscoveryDatabase managementDatabase ManagementInformation systemsInformation Systems Applications (incl.Internet)MathematicsMathematics, generalTowards Mechanized Mathematical Assistants772177UNINA