Articoli correlati a Logic and Computation

Logic and Computation - Rilegato

 
9783036573762: Logic and Computation

Sinossi

La presente ristampa contiene cinque articoli accettati e pubblicati nello Special Issue "Logic and Computation 2023" della rivista MDPI "Mathematics", che coprono diversi argomenti sulla scienza informatica basati su una qualche forma di logica. Questi argomenti includono la teoria del modello per le specifiche formali e la programmazione formali basate sulla logica, il mining logico e la logica per i giochi. Si spera che la ristampa sarà interessante e utile per coloro che lavorano nell'area dell'applicazione della logica all'informatica.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.