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.
18th Annual IEEE Symposium on Logic in Computer Science
| 18th Annual IEEE Symposium on Logic in Computer Science |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2003 |
| Descrizione fisica | 1 online resource (xiv, 393 pages) |
| Disciplina | 004.0151 |
| Soggetto topico |
Computer science - Mathematics
Logic, Symbolic and mathematical |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996198557603316 |
| [Place of publication not identified], : IEEE Computer Society Press, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : 29 June 2021-2 July 2021, Rome, Italy / / Institute of Electrical and Electronics Engineers
| 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : 29 June 2021-2 July 2021, Rome, Italy / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE, , [2021] |
| Descrizione fisica | 1 online resource (1218 pages) : illustrations |
| Disciplina | 511.3 |
| Soggetto topico | Logic, Symbolic and mathematical |
| ISBN | 1-66544-895-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science |
| Record Nr. | UNINA-9910510601803321 |
| Piscataway, New Jersey : , : IEEE, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : 29 June 2021-2 July 2021, Rome, Italy / / Institute of Electrical and Electronics Engineers
| 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : 29 June 2021-2 July 2021, Rome, Italy / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE, , [2021] |
| Descrizione fisica | 1 online resource (1218 pages) : illustrations |
| Disciplina | 511.3 |
| Soggetto topico | Logic, Symbolic and mathematical |
| ISBN | 1-66544-895-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science |
| Record Nr. | UNISA-996574815303316 |
| Piscataway, New Jersey : , : IEEE, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings / / edited by R. E. Shostak
| 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings / / edited by R. E. Shostak |
| Edizione | [1st ed. 1984.] |
| Pubbl/distr/stampa | New York : , : Springer-Verlag, , [1984] |
| Descrizione fisica | 1 online resource (VIII, 509 p.) |
| Disciplina | 004.015113 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Automatic theorem proving
Logic, Symbolic and mathematical Computer science |
| ISBN | 0-387-34768-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Universal Unification -- A Portable Environment for Research in Automated Reasoning -- A Natural Proof System Based on Rewriting Techniques -- EKL—A Mathematically Oriented Proof Checker -- A Linear Characterization of NP-Complete Problems -- A Satisfiability Tester for Non-Clausal Propositional Calculus -- A Decision Method for Linear Temporal Logic -- A Progress Report on New Decision Algorithms for Finitely Presented Abelian Groups -- Canonical Forms in Finitely Presented Algebras -- Term Rewriting Systems and Algebra -- Termination of a Set of Rules Modulo a Set of Equations -- Associative-Commutative Unification -- A Linear Time Algorithm for a Subcase of Second Order Instantiation -- A New Equational Unification Method: A Generalisation of Martelli-Montanari’s Algorithm -- A Case Study of Theorem Proving by the Knuth-Bendix Method: Discovering that x 3 = x Implies Ring Commutativity -- A Narrowing Procedure for Theories with Constructors -- A General Inductive Completion Algorithm and Application to Abstract Data Types -- The Next Generation of Interactive Theorem Provers -- The Linked Inference Principle, II: The User’s Viewpoint -- A New Interpretation of the Resolution Principle -- Using Examples, Case Analysis, and Dependency Graphs in Theorem Proving -- Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs -- Analytic and Non-analytic Proofs -- Applications of Protected Circumscription -- Implementation Strategies for Plan-Based Deduction -- A Programming Notation for Tactical Reasoning -- The Mechanization of Existence Proofs of Recursive Predicates -- Solving Word Problems in Free Algebras Using Complexity Functions -- Solving a Problem in Relevance Logic with an Automated Theorem Prover. |
| Record Nr. | UNISA-996465607703316 |
| New York : , : Springer-Verlag, , [1984] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The A to Z of mathematics [[electronic resource] ] : a basic guide / / Thomas H. Sidebotham
| The A to Z of mathematics [[electronic resource] ] : a basic guide / / Thomas H. Sidebotham |
| Autore | Sidebotham Thomas H (Thomas Hurst), <1939-> |
| Pubbl/distr/stampa | New York, : Wiley-Interscience, c2002 |
| Descrizione fisica | 1 online resource (488 p.) |
| Disciplina | 510 |
| Soggetto topico |
Mathematics
Logic, Symbolic and mathematical |
| ISBN |
1-280-36699-0
9786610366996 0-470-24891-2 0-471-46163-6 0-471-23144-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The A to Z of Mathematics; Contents; Preface; Acknowledgments; A; B; C; D; E; F; G; H; I; K; L; M; N; O; P; Q; R; S; T; U; V; W; X; Y; Z |
| Record Nr. | UNINA-9910143191203321 |
Sidebotham Thomas H (Thomas Hurst), <1939->
|
||
| New York, : Wiley-Interscience, c2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The A to Z of mathematics [[electronic resource] ] : a basic guide / / Thomas H. Sidebotham
| The A to Z of mathematics [[electronic resource] ] : a basic guide / / Thomas H. Sidebotham |
| Autore | Sidebotham Thomas H (Thomas Hurst), <1939-> |
| Pubbl/distr/stampa | New York, : Wiley-Interscience, c2002 |
| Descrizione fisica | 1 online resource (488 p.) |
| Disciplina | 510 |
| Soggetto topico |
Mathematics
Logic, Symbolic and mathematical |
| ISBN |
1-280-36699-0
9786610366996 0-470-24891-2 0-471-46163-6 0-471-23144-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The A to Z of Mathematics; Contents; Preface; Acknowledgments; A; B; C; D; E; F; G; H; I; K; L; M; N; O; P; Q; R; S; T; U; V; W; X; Y; Z |
| Record Nr. | UNINA-9910830871903321 |
|
Sidebotham Thomas H (Thomas Hurst), <1939->
|
||
| New York, : Wiley-Interscience, c2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The A to Z of mathematics [[electronic resource] ] : a basic guide / / Thomas H. Sidebotham
| The A to Z of mathematics [[electronic resource] ] : a basic guide / / Thomas H. Sidebotham |
| Autore | Sidebotham Thomas H (Thomas Hurst), <1939-> |
| Pubbl/distr/stampa | New York, : Wiley-Interscience, c2002 |
| Descrizione fisica | 1 online resource (488 p.) |
| Disciplina | 510 |
| Soggetto topico |
Mathematics
Logic, Symbolic and mathematical |
| ISBN |
1-280-36699-0
9786610366996 0-470-24891-2 0-471-46163-6 0-471-23144-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The A to Z of Mathematics; Contents; Preface; Acknowledgments; A; B; C; D; E; F; G; H; I; K; L; M; N; O; P; Q; R; S; T; U; V; W; X; Y; Z |
| Record Nr. | UNINA-9910841385303321 |
|
Sidebotham Thomas H (Thomas Hurst), <1939->
|
||
| New York, : Wiley-Interscience, c2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A. P. Morse's set theory and analysis / / Robert A. Alps, editor
| A. P. Morse's set theory and analysis / / Robert A. Alps, editor |
| Pubbl/distr/stampa | Cham, Switzerland : , : Birkhäuser, , [2022] |
| Descrizione fisica | 1 online resource (523 pages) |
| Disciplina | 511.322 |
| Soggetto topico |
Set theory
Logic, Symbolic and mathematical Measure theory Anàlisi matemàtica Teoria de conjunts |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9783031053559
9783031053542 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996485659203316 |
| Cham, Switzerland : , : Birkhäuser, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A. P. Morse's set theory and analysis / / Robert A. Alps, editor
| A. P. Morse's set theory and analysis / / Robert A. Alps, editor |
| Pubbl/distr/stampa | Cham, Switzerland : , : Birkhäuser, , [2022] |
| Descrizione fisica | 1 online resource (523 pages) |
| Disciplina | 511.322 |
| Soggetto topico |
Set theory
Logic, Symbolic and mathematical Measure theory Anàlisi matemàtica Teoria de conjunts |
| Soggetto genere / forma | Llibres electrònics |
| ISBN |
9783031053559
9783031053542 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910590076403321 |
| Cham, Switzerland : , : Birkhäuser, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ACM transactions on computational logic
| ACM transactions on computational logic |
| Pubbl/distr/stampa | New York, NY, : Association for Computing Machinery |
| Disciplina | 004 |
| Soggetto topico |
Computer logic
Logic, Symbolic and mathematical Computer science - Mathematics Logique informatique Logique symbolique et mathématique Informatique - Mathématiques Informatica Logica |
| Soggetto genere / forma | Periodicals. |
| ISSN | 1557-945X |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Association for Computing Machinery transactions on computational logic
Computational logic Transactions on computational logic TOCL |
| Record Nr. | UNINA-9910134503403321 |
| New York, NY, : Association for Computing Machinery | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
