01647nam0-22005771i-450-99000081942040332120080530102435.088-7187-307-6000081942FED01000081942(Aleph)000081942FED0100008194220020821d1993----km-y0itay50------baitaITa---a---001yy<<La >>qualità totaleil Company-wide quality control come nuovo sistema managerialeAlberto Galganoprefazione di Sergio Pininfarina2. ed.MilanoIl Sole 24 ore libri1993XVII, 475 p.ill.23 cm<<L'>>impresaManagement e impresaQualità totaleImpresa e managementQualitàAziendeGestioneQualitàControlloStatistica aziendaleControllo di qualità e affidabilità658519.8Galgano,Alberto8202ITUNINARICAUNIMARCBK990000819420403321TECN B 14238785FARBC62 658.5 GALDEPA 7870DAGEA13 F 22 248224FINBC13 N 72 018225FINBC05 AMATO 1862DININ1-0-341-TI7762ECAXVII-C-1346882MAS01 D III 1601819DINSTFARBCDAGEAFINBCDININECAMASDINSTQualità totale63341UNINA01578nam 2200445 450 99646449220331620220609095640.03-030-86059-0(CKB)5600000000003483(MiAaPQ)EBC6716400(Au-PeEL)EBL6716400(OCoLC)1266363079(PPN)257350837(EXLCZ)99560000000000348320220609d2021 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierAutomated reasoning with analytic tableaux and related methods 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021 : proceedings /Anupam Das, Sara Negri, (editors)Cham, Switzerland :Springer,[2021]©20211 online resource (476 pages)Lecture notes in computer science. Lecture notes in artificial intelligence ;128423-030-86058-2 Includes bibliographical references and index.Lecture notes in computer science.Lecture notes in artificial intelligence ;12842.Automatic theorem provingCongressesAutomatic theorem proving004.015113Das AnupamNegri Sara1967-MiAaPQMiAaPQMiAaPQBOOK996464492203316Automated Reasoning with Analytic Tableaux and Related Methods2556460UNISA