01527nam 2200493 450 991046783410332120200520144314.01-78084-541-31-78084-540-5(CKB)4330000000072261(MiAaPQ)EBC5092370(Au-PeEL)EBL5092370(CaPaEBR)ebr11451910(OCoLC)953863397(EXLCZ)99433000000007226120171107h20142014 uy 0engurcnu||||||||rdacontentrdamediardacarrierCurrent approaches in image-guided therapy /editors, Ferenc A. Jolesz, Tobias PenzkoferLondon, England :Future Medicine Ltd,2014.©20141 online resource (85 pages) illustrations, photographs1-78084-542-1 Includes bibliographical references at the end of each chapters and index.Imaging systems in medicineImage reconstructionMagnetic resonance imagingElectronic books.Imaging systems in medicine.Image reconstruction.Magnetic resonance imaging.616.0754Jolesz Ferenc A.Penzkofer TobiasMiAaPQMiAaPQMiAaPQBOOK9910467834103321Current approaches in image-guided therapy2044154UNINA01660nam0 22004213i 450 VAN025519420230524090236.932N978354036203620230223d1970 |0itac50 baengDE|||| |||||Term Logic with Choice OperatorHans HermesRev. and Enl. Transl. of the 1. German EdBerlinSpringer197055 p.24 cm001VAN01022502001 Lecture notes in mathematics210 Berlin [etc.]Springer6VAN0255196Eine Termlogik mit Auswahloperator300873403-XXMathematical logic and foundations [MSC 2020]VANC019750MFCalculusKW:KChoiceKW:KMathematical logicKW:KPredicate logicKW:KProofsKW:KSelection operatorsKW:KTheoremKW:KVariablesKW:KBerlinVANL000066HermesHansVANV20745842101Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/978-3-540-36203-6E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0255194BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 5509 08eMF5509 20230303 Eine Termlogik mit Auswahloperator3008734UNICAMPANIA