01475nam2-2200397li-450 99000302235020331620180918155408.0978-3-540-73443-7000302235USA01000302235(ALEPH)000302235USA010003022352002007112007-------y0itay0103----baeng0.0DELogic, language information and computation14th. International workshop, WoLLIC 2007Rio de Janeiro, Brazil, July 2-5, 2007proceedingDaniel Leivant, Ruy de Queiroz (eds.)BerlinSpringercopyr. 2007X, 361 p.ill.24 cmLecture notes in computer science45762001Lecture notes in computer science4576elaborazione elettronicalinguaggi di programmazionelogica matematica005.131Logica matematica (Logica simbolica)LEIVANT,DanielDE QUEIROZ,RuyInternational workshop, WoLLIV 2007<14;2007;Rio de Janeiro>751903Sistema bibliotecario di Ateneo dell' Università di SalernoRI-CA990003022350203316001 LNCS 457635139 CBS00100224761BKSCIANGELA9020071126USA011826ANGELA9020071126USA011829Logic, language information and computation1511557UNISA