01507nlm0 22004331i 450 9900092414304033219783540745914000924143FED01000924143(Aleph)000924143FED0100092414320100926d2007----km-y0itay50------baengDEdrnn-008mamaaTheorem Proving in Higher Order LogicsRisorsa elettronica20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedingsedited by Klaus Schneider, Jens BrandtBerlin ; HeidelbergSpringer2007Lecture Notes in Computer Science0302-97434732Documento elettronicoTestoFormato html, pdfBrandt,JensSchneider,KlausITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-74591-4EB990009241430403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogic DesignLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesSoftware engineeringSoftware EngineeringTheorem Proving in Higher Order Logics772309UNINA