Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Frontiers of Combining Systems [[electronic resource] ] : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings / / edited by Uli Sattler, Martin Suda
| Frontiers of Combining Systems [[electronic resource] ] : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings / / edited by Uli Sattler, Martin Suda |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (XVI, 275 p. 421 illus., 12 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computer engineering Computer networks Computer science Machine theory Artificial Intelligence Software Engineering Computer Engineering and Networks Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-031-43369-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Analysis of Programs and Equations -- Unification -- Decidable Fragments -- Frameworks -- Higher-order Theorem Proving. |
| Record Nr. | UNISA-996550548103316 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Frontiers of Combining Systems : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings / / edited by Uli Sattler, Martin Suda
| Frontiers of Combining Systems : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings / / edited by Uli Sattler, Martin Suda |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (XVI, 275 p. 421 illus., 12 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computer engineering Computer networks Computer science Machine theory Artificial Intelligence Software Engineering Computer Engineering and Networks Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-031-43369-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Analysis of Programs and Equations -- Unification -- Decidable Fragments -- Frameworks -- Higher-order Theorem Proving. |
| Record Nr. | UNINA-9910744508503321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||