01466nlm0 22004331i 450 9900092436004033219783540318200000924360FED01000924360(Aleph)000924360FED0100092436020100926d2005----km-y0itay50------baengDEdrnn-008mamaaTheorem Proving in Higher Order LogicsRisorsa elettronica18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedingsedited by Joe Hurd, Tom MelhamBerlin ; HeidelbergSpringer2005Lecture Notes in Computer Science0302-97433603Documento elettronicoTestoFormato html, pdfHurd,JoeMelham,TomITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/11541868EB990009243600403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogic DesignLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesSoftware engineeringSoftware EngineeringTheorem Proving in Higher Order Logics772309UNINA