02299nlm0 22006251i 450 9900092544304033219783540710677000925443FED01000925443(Aleph)000925443FED0100092544320100926d2008----km-y0itay50------baengDEdrnn-008mamaaTheorem Proving in Higher Order LogicsRisorsa elettronica21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedingsedited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Otmane Ait Mohamed, César Muñoz, Sofiène TaharBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97435170Documento elettronicoTestoFormato html, pdfHutchison,DavidKanade,TakeoKittler,JosefKleinberg,Jon M.Mattern,FriedemannMitchell,John C.Mohamed,Otmane AitMuñoz,CésarNaor,MoniNierstrasz,OscarPandu Rangan,C.Steffen,BernhardSudan,MadhuTahar,SofièneTerzopoulos,DemetriTygar,DougVardi,Moshe Y.Weikum,GerhardITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-71067-7EB990009254430403321Artificial intelligenceArtificial Intelligence (incl. Robotics)Computer scienceComputer ScienceLogic designLogic DesignLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesSoftware engineeringSoftware EngineeringTheorem Proving in Higher Order Logics772309UNINA