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.
Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I / / edited by Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt
| Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I / / edited by Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (XVI, 482 p. 89 illus., 42 illus. in color.) |
| Disciplina | 005.131 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Machine theory
Software engineering Artificial intelligence Computer engineering Computer networks Computer science Formal Languages and Automata Theory Software Engineering Artificial Intelligence Computer Engineering and Networks Computer Science Logic and Foundations of Programming |
| ISBN |
9783031634987
3031634985 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910869155103321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II / / edited by Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt
| Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part II / / edited by Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (XV, 424 p. 87 illus., 34 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Machine theory Computer engineering Computer networks Computer science Artificial Intelligence Software Engineering Formal Languages and Automata Theory Computer Engineering and Networks Computer Science Logic and Foundations of Programming |
| ISBN |
9783031635014
3031635019 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910869164203321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated Reasoning with Analytic Tableaux and Related Methods [[electronic resource] ] : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings / / edited by Renate A. Schmidt, Cláudia Nalon
| Automated Reasoning with Analytic Tableaux and Related Methods [[electronic resource] ] : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings / / edited by Renate A. Schmidt, Cláudia Nalon |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XII, 381 p. 75 illus.) |
| Disciplina | 511.36028563 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer programming Software engineering Programming languages (Electronic computers) Computer logic Artificial Intelligence Mathematical Logic and Formal Languages Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN | 3-319-66902-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Sequents systems -- Tableaux -- Transitive closure and cyclic proofs -- Formalization and complexity. |
| Record Nr. | UNISA-996466251803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings / / edited by Renate A. Schmidt, Cláudia Nalon
| Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings / / edited by Renate A. Schmidt, Cláudia Nalon |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XII, 381 p. 75 illus.) |
| Disciplina | 511.36028563 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Mathematical logic Computer programming Software engineering Programming languages (Electronic computers) Computer logic Artificial Intelligence Mathematical Logic and Formal Languages Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN | 3-319-66902-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Sequents systems -- Tableaux -- Transitive closure and cyclic proofs -- Formalization and complexity. |
| Record Nr. | UNINA-9910482960003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Relations and Kleene algebra in computer science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings / / Renate A. Schmidt (ed.)
| Relations and Kleene algebra in computer science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings / / Renate A. Schmidt (ed.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
| Descrizione fisica | 1 online resource (XII, 436 p.) |
| Disciplina | 512.74 |
| Altri autori (Persone) | SchmidtRenate A |
| Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
| Soggetto topico |
Algebraic logic
Computer science - Mathematics |
| ISBN | 3-540-37874-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Weak Kleene Algebra and Computation Trees -- Finite Symmetric Integral Relation Algebras with No 3-Cycles -- Computations and Relational Bundles -- An Axiomatization of Arrays for Kleene Algebra with Tests -- Local Variable Scoping and Kleene Algebra with Tests -- Computing and Visualizing Lattices of Subgroups Using Relation Algebra and RelView -- On the Complexity of the Equational Theory of Relational Action Algebras -- Demonic Algebra with Domain -- Topological Representation of Contact Lattices -- Betweenness and Comparability Obtained from Binary Relations -- Relational Representation Theorems for General Lattices with Negations -- Monotonicity Analysis Can Speed Up Verification -- Max-Plus Convex Geometry -- Lazy Semiring Neighbours and Some Applications -- Omega Algebra, Demonic Refinement Algebra and Commands -- Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell -- On the Cardinality of Relations -- Evaluating Sets of Search Points Using Relational Algebra -- Algebraization of Hybrid Logic with Binders -- Using Probabilistic Kleene Algebra for Protocol Verification -- Monotone Predicate Transformers as Up-Closed Multirelations -- Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective -- Relational Measures and Integration -- A Relational View of Recurrence and Attractors in State Transition Dynamics -- On Two Dually Nondeterministic Refinement Algebras -- On the Fixpoint Theory of Equality and Its Applications -- Monodic Tree Kleene Algebra -- Weak Relational Products. |
| Altri titoli varianti |
Ninth International Seminar on Relational Methods in Computer Science
International Seminar on Relational Methods in Computer Science 4th International Workshop on Applications of Kleene Algebra Fourth International Workshop on Applications of Kleene Algebra International Workshop on Applications of Kleene Algebra RelMiCS/AKA 2006 |
| Record Nr. | UNINA-9910484333403321 |
| Berlin ; ; New York, : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||