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.
Logic-Based Program Synthesis and Transformation [[electronic resource] ] : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers / / edited by Fred Mesnard, Peter J. Stuckey
| Logic-Based Program Synthesis and Transformation [[electronic resource] ] : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers / / edited by Fred Mesnard, Peter J. Stuckey |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XX, 203 p. 565 illus., 4 illus. in color.) |
| Disciplina | 005.115 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Computer programming Artificial intelligence Machine theory Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters Programming Techniques Artificial Intelligence Formal Languages and Automata Theory |
| ISBN | 3-030-13838-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Analysis of term rewriting -- Logic-based distributed/concurrent programming -- Analysis of logic programming -- Program analysis. |
| Record Nr. | UNISA-996466437303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic-Based Program Synthesis and Transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers / / edited by Fred Mesnard, Peter J. Stuckey
| Logic-Based Program Synthesis and Transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers / / edited by Fred Mesnard, Peter J. Stuckey |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XX, 203 p. 565 illus., 4 illus. in color.) |
| Disciplina | 005.115 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Computer programming Artificial intelligence Machine theory Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters Programming Techniques Artificial Intelligence Formal Languages and Automata Theory |
| ISBN | 3-030-13838-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Analysis of term rewriting -- Logic-based distributed/concurrent programming -- Analysis of logic programming -- Program analysis. |
| Record Nr. | UNINA-9910337582303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||