{"product_id":"logic-for-programming-artificial-intelligence-and-reasoning-9th-international-conference-lpar-2002-tbilisi-georgia-october-14-18-2002-proceedings-von-matthias-baaz-andrei-voronkov-hrsg","title":"Logic for Programming, Artificial Intelligence, and Reasoning","description":"\u003cp\u003eMaurizioLenzerini(Universit`adiRomäLaSapienzä) GiorgioLevi(Universit`adiPisa) LeonidLibkin(UniversityofToronto) RobertNieuwenhuis(TechnicalUniversityofCatalonia) LeszekPacholski(WroclawskiUniwersytet) MichelParigot(Universit¿eParis7) PavelPudlak(MathematicalInstitute,Prague) CarstenSchuermann(YaleUniversity) J¿orgSiekmann(DFKISaarbruc ¿ken) WolfgangThomas(RWTHAachen) MichaelZakharyaschev(King¿sCollege) LocalOrganization KhimuriRhukia KotePhakadze GelaChankvetadze JemalAntidze VIII ConferenceOrganization ListofReferees GianlucaAmato CarlosAreces M. Arenas OferArieli RobertoBarbuti ChristophBenzmueller MartaBilkova BrunoBlanchet AlexandreBoisseau AhmedBouajjani DmitriChubarov PabloCordero VeroniqueCortier AgostinoDovier RachidEchahed MorenoFalaschi C`esarFerri OlivierGasquet BernhardGramlich Jos¿eManuelG¿omez PhilippedeGroote RainerHaehnle JiriHanika JuanHeguiabehere JoseHernandez-Orallo ThomasHillenbrand JoeHurd EmilJerabek ValentinJijkoun KonstantinKorovin G. Lakemeyer DominiqueLarchey-Wendling OlivierLaurent StefanLeue LuigiLiquori ChristofLoeding CarstenLutz ChristopherLynch PatrickMaier PaoloMancarella FlorenceMaraninchi MaartenMarx Jesus ¿ Medina EricaMelis AntoineMin¿e RalfM¿oller PaulinDeNaurois HansdeNivelle MichaelNorrish ManuelOjeda-Aciego NikolayPelov GuyPerrier ReinhardPichler ChristopherPollett Germ¿anPuebla Jean-PierreRessayre ChristianRetor¿e AlexandreRiazanov MichalRossler PaulRozi`ere NikitaSakhanenko UlrikeSattler StefanSchlobach ManfredSchmidt-Schauß KonradSlind Anni-YasminTurhan ChristianUrban WimVanhoof YdeVenema So?eVerbaeten UweWaldmann KlausWeich ClausPeterWirth StefanWoehrle ConferenceOrganization IX ConferencesprecedingLPAR2001 RCLP¿90,Irkutsk,SovietUnion RCLP¿91,Leningrad,SovietUnion,aboardtheship¿MichailLomonosov¿ LPAR¿92,St. Petersburg,Russia,aboardtheship¿MichailLomonosov¿ LPAR¿93,St. Petersburg,Russia LPAR¿94,Kiev,Ukraine,aboardtheship¿MarshalKoshevoi¿ LPAR¿99,Tbilisi,RepublicofGeorgia LPAR2000,ReunionIsland,France LPAR2001,Hav\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540000105\"\u003e\u003ch3\u003e9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540000105","offer_id":39426408415325,"sku":"9783540000105","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/2fd130da-65b5-4c6e-87ec-f2f292350706.jpg?v=1782366592","url":"https:\/\/shop.autorenwelt.de\/products\/logic-for-programming-artificial-intelligence-and-reasoning-9th-international-conference-lpar-2002-tbilisi-georgia-october-14-18-2002-proceedings-von-matthias-baaz-andrei-voronkov-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}