Author:
Cristani Matteo,Domenichini Francesco,Tomazzoli Claudio,Zorzi Margherita
Publisher
Springer International Publishing
Reference24 articles.
1. Lecture Notes in Computer Science;A Agresta,2014
2. Lecture Notes in Computer Science;F Aschieri,2013
3. Aschieri, F., Zorzi, M.: On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand’s theorem. Theor. Comput. Sci. 625, 125–146 (2016)
4. Carr III, L., Elsberry, R., Peak, J.: Beta test of the systematic approach expert system prototype as a tropical cyclone track forecasting aid. Weather Forecast. 16(3), 355–368 (2001)
5. Conway, B.: Expert systems and weather forecasting. Meteorol. Mag. 118(1399), 23–30 (1989)