02588nam0 2200541 i 450 VAN0012495320250604042841.259N978303004471820191028d2018 |0itac50 baengCH|||| |||||Quantum Computation and LogicHow Quantum Computers Have Inspired Logical InvestigationsMaria Luisa Dalla Chiara ... [et al.]ChamSpringer2018xvi, 178 p.ill.24 cm001VAN001031502001 Trends in logicstudia logica library210 Berlin [etc.]Springer1997-48VAN00236452Quantum Computation and Logic156372900A30Philosophy of mathematics [MSC 2020]VANC020829MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MF03AxxPhilosophical aspects of logic and foundations [MSC 2020]VANC031175MF03B70Logic in computer science [MSC 2020]VANC024541MF81P45Quantum information, communication, networks (quantum-theoretic aspects) [MSC 2020]VANC030931MFAmbiguity 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 logicKW: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>VANV108073650ITSOL20250606RICAhttp://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-CE0120VAN08NVAN00124953BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 1328 08eMF1328 20191028 Quantum Computation and Logic1563729UNICAMPANIA