Salta al contenuto principale

Ricerc@Sapienza

Home
Login

Home
computer vision and pattern recognition
Mathematics (miscellaneous)
Risultati ricerca pubblicazioni

Risultati ricerca pubblicazioni

Torna alla Home Page delle pubblicazioni

A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes

pubblicato su: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - 2018

Bottoni Paolo Gaspare, Gorla Daniele, Kasangian Stefano, Labella Anna

CATALOGO IRIS SAPIENZA

Anno

2018 (1) Apply 2018 filter

Tipo pubblicazione

01 Pubblicazione su rivista (1) Apply 01 Pubblicazione su rivista filter

Rivista

MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE (1) Apply MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE filter

Book

Keywords

(-) Remove computer vision and pattern recognition filter computer vision and pattern recognition
(-) Remove Mathematics (miscellaneous) filter Mathematics (miscellaneous)
Computer Science Applications (1) Apply Computer Science Applications filter

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma