01000nam0-22003491i-450-99000812503040332120081027095211.088-387-0359-0IT96-1577000812503FED01000812503(Aleph)000812503FED0100081250320050607d1995----km-y0itay50------baitaITy---n---001yyCodice dell'ambientecon direttive comunitarie e leggi regionalicorredato di giurisprudenzaa cura di Amedeo Postiglione3. ed. agg.RiminiMaggioli1995XXXIV, 1672 p.17 cm<<I >>codici Maggioli346.450 440 263 220itaPostiglione,AmedeoItalia423419ITUNINARICAUNIMARCBK990008125030403321VI Z 4944488DDADDACodice dell'ambiente145309UNINA03056oas 2201129 a 450 991014243090332120251106213014.01573-0670(DE-599)ZDB1479376-3(DE-599)1479376-3(OCoLC)38266687(CONSER) 2004229180(CKB)954926965948(EXLCZ)9995492696594819980126a19859999 sy aengurmnu||||||||txtrdacontentcrdamediacrrdacarrierJournal of automated reasoningKluwer Academic PublishersNetherlands Springer Netherlands1 online resourceRefereed/Peer-reviewed0168-7433 J. autom. reason.Automatic theorem provingPeriodicalsArtificial intelligencePeriodicalsLogic programmingPeriodicalsThéorèmesDémonstration automatiquePériodiquesIntelligence artificiellePériodiquesProgrammation logiquePériodiquesArtificial intelligencefast(OCoLC)fst00817247Automatic theorem provingfast(OCoLC)fst00822777Logic programmingfast(OCoLC)fst01002056Demostració automàtica de teoremesthubIntel·ligència artificialthubLingüísticathubInformàticathubPeriodicals.fastPeriodicals.lcgftRevistes electròniques.thubAutomatic theorem provingArtificial intelligenceLogic programmingThéorèmesDémonstration automatiqueIntelligence artificielleProgrammation logiqueArtificial intelligence.Automatic theorem proving.Logic programming.Demostració automàtica de teoremes.Intel·ligència artificial.Lingüística.Informàtica.511.3F#AF#AOCLOCLCQMUQOCLCQFUGOCLCQOCLMYGOCLCQOCLCOOCLCQBUFOCLCFOCLCOOCLCQEZCUKMGBDLCVT2NJTUBYCUSOCLCOOCLCQUABSXBOCLCLCSULIPUWOYOUFIEADUOCLCQJOURNAL9910142430903321Journal of automated reasoning2262346UNINA