01405nam0 2200325 i 450 VAN0010927320240806100739.266978-33-19-17911-7N978-3-319-17912-420170518d2015 |0itac50 baengCH|||| |||||Introduction to Annotated LogicsFoundations for Paracomplete and Paraconsistent ReasoningJair Minoro Abe, Seiki Akama, Kazumi NakamatsuChamSpringer2015X, 190 p.ill.24 cm001VAN001077792001 Intelligent Systems Reference Library210 ChamSpringer2009-88CHChamVANL001889AbeJair MinoroVANV084210739806AkamaSeikiVANV084558447830NakamatsuKazumiVANV084559739807Springer <editore>VANV108073650ITSOL20240906RICAhttps://link.springer.com/book/10.1007%2F978-3-319-17912-4E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA CENTRO DI SERVIZIO SBAVAN15NVAN00109273BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 1235 15EB 1235 20170518 Introduction to Annotated Logics1465894UNICAMPANIA