02578nam0 2200541 i 450 VAN012495320230630110640.446N978303004471820191028d2018 |0itac50 baengCH|||| |||||Quantum Computation and LogicHow Quantum Computers Have Inspired Logical InvestigationsMaria Luisa Dalla Chiara ... [et al.]ChamSpringer2018xvi, 178 p.ill.24 cm001VAN01031502001 Trends in logicstudia logica library210 Berlin [etc.]Springer48VAN0236452Quantum Computation and Logic156372903-XXMathematical logic and foundations [MSC 2020]VANC019750MF00A30Philosophy of mathematics [MSC 2020]VANC020829MF03B70Logic in computer science [MSC 2020]VANC024541MF81P45Quantum information, communication, networks (quantum-theoretic aspects) [MSC 2020]VANC030931MF03AxxPhilosophical aspects of logic and foundations [MSC 2020]VANC031175MFAmbiguity in Natural and Artistic LanguagesKW:KClassical and Quantum Turing MachinesKW:KEntanglementKW:KEpistemic OperatorsKW:KIndividuals, Quantifiers and Epistemic OperatorsKW:KMathematical Environment of Quantum InformationKW:KNon-classical logicsKW:KQuantum ComputerKW:KQuantum EntanglementKW:KQuantum Information and Quantum Logical GatesKW:KQuantum LogicKW:KQuantum Logical Circuits to Quantum Computational LogicsKW:KQuantum computationKW:KQuantum gatesKW:KQuantum teleportationKW:KCHChamVANL001889Dalla ChiaraMaria LuisaVANV042886Springer <editore>VANV108073650ITSOL20240614RICAhttp://doi.org/10.1007/978-3-030-04471-8E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0124953BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 1328 08eMF1328 20191028 Quantum Computation and Logic1563729UNICAMPANIA