2017 17th International Conference on Computational Science and Its Applications (ICCSA) / / Institute of Electrical and Electronics Engineers Staff |
Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE, , 2017 |
Descrizione fisica | 1 online resource |
Disciplina | 511.3 |
Soggetto topico |
Computational complexity
Computer science |
ISBN | 1-5386-3893-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | 2017 17th International Conference on Computational Science and Its Applications |
Record Nr. | UNISA-996278311303316 |
Piscataway, New Jersey : , : IEEE, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
2017 17th International Conference on Computational Science and Its Applications (ICCSA) / / Institute of Electrical and Electronics Engineers Staff |
Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE, , 2017 |
Descrizione fisica | 1 online resource |
Disciplina | 511.3 |
Soggetto topico |
Computational complexity
Computer science |
ISBN | 1-5386-3893-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | 2017 17th International Conference on Computational Science and Its Applications |
Record Nr. | UNINA-9910213257503321 |
Piscataway, New Jersey : , : IEEE, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
2021 10th International Conference on Internet Computing for Science and Engineering / / Association for Computing Machinery |
Pubbl/distr/stampa | New York, NY : , : Association for Computing Machinery, , 2021 |
Descrizione fisica | 1 online resource (130 pages) |
Disciplina | 511.3 |
Soggetto topico | Computational complexity |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910548283603321 |
New York, NY : , : Association for Computing Machinery, , 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 |
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 |
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 | ||
|
3 Jahrestagung : Hamburg, 8-10 oktober 1973 / herausgegeben im Auftrag der GI von Wilfred Brauer |
Autore | Jahrestagung <3; Hamburg; 1973> |
Pubbl/distr/stampa | Berlin : Springer Verlag, 1973 |
Descrizione fisica | XI, 508 p. : ill. ; 24 cm |
Disciplina | 511.3 |
Collana | Lecture notes in computer science |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Record Nr. | UNISA-990000348940203316 |
Jahrestagung <3; Hamburg; 1973> | ||
Berlin : Springer Verlag, 1973 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
5 Jahrestagung : Dortmund, 8-10 oktober 1975 / <a cura di> GI. Gesellschaft fur informatik e. V. ; herausgegeben im Auftrag der GI von J. Muhlbacher |
Autore | Jahrestagung <5.; Dortmund; 1975> |
Pubbl/distr/stampa | Berlin : Springer Verlag, 1975 |
Descrizione fisica | X, 755 p. : ill. ; 24 cm |
Disciplina | 511.3 |
Collana | Lecture notes in computer science |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Record Nr. | UNISA-990000349390203316 |
Jahrestagung <5.; Dortmund; 1975> | ||
Berlin : Springer Verlag, 1975 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
5th conference on automated deduction : Les Arcs, France, July 8-11, 1980 / edited by Bibel and R. Kowalski |
Pubbl/distr/stampa | Berlin : Springer Verlag, 1980 |
Descrizione fisica | VII, 385 p. : ill. ; 24 cm |
Disciplina | 511.3 |
Collana | Lecture notes in computer science |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000350070203316 |
Berlin : Springer Verlag, 1980 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings / ed. R. E. Shostak |
Autore | International conference on automated deduction <7. ; 1984 ; Napa, California> |
Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1984 |
Descrizione fisica | vi, 508 p. : ill. ; 24 cm. |
Disciplina | 511.3 |
Altri autori (Persone) | Shostak, Robert E. |
Soggetto topico |
Automatic theorem proving - Congresses
Symbolic logic - Congresses |
ISBN | 3540960228 |
Classificazione |
AMS 68-06
AMS 68-XX CR I.1 CR J.2 QA76.9.A96158 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001341109707536 |
International conference on automated deduction <7. ; 1984 ; Napa, California> | ||
Berlin ; New York : Springer-Verlag, 1984 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
8th International Conference on Automated Deduction [[electronic resource] ] : Oxford, England, July 27- August 1, 1986. Proceedings / / edited by Jörg H. Siekmann |
Edizione | [1st ed. 1986.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1986 |
Descrizione fisica | 1 online resource (XII, 716 p.) |
Disciplina | 511.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Mathematical logic
Artificial intelligence Mathematical Logic and Foundations Mathematical Logic and Formal Languages Artificial Intelligence |
ISBN | 3-540-39861-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Connections and higher-order logic -- Commutation, transformation, and termination -- Full-commutation and fair-termination in equational (and combined) term-rewriting systems -- An actual implementation of a procedure that mechanically proves termination of rewriting systems based on inequalities between polynomial interpretations -- Proving termination of associative commutative rewriting systems by rewriting -- Relating resolution and algebraic completion for Horn logic -- A simple non-termination test for the Knuth-Bendix method -- A new formula for the execution of categorical combinators -- Proof by induction using test sets -- How to prove equivalence of term rewriting systems without induction -- Sufficient completeness, term rewriting systems and ”anti-unification” -- A new method for establishing refutational completeness in theorem proving -- A theory of diagnosis from first principles -- Some contributions to the logical analysis of circumscription -- Modal theorem proving -- Computational aspects of three-valued logic -- Resolution and quantified epistemic logics -- A commonsense theory of nonmonotonic reasoning -- Negative paramodulation -- The heuristics and experimental results of a new hyperparamodulation: HL-resolution -- ECR: An equality conditional resolution proof procedure -- Using narrowing to do isolation in symbolic equation solving — an experiment in automated reasoning -- Formulation of induction formulas in verification of prolog programs -- Program verifier "Tatzelwurm": Reasoning about systems systems of linear inequalities -- An interactive verification system based on dynamic logic -- What you always wanted to know about clause graph resolution -- Parallel theorem proving with connection graphs -- Theory links in semantic graphs -- Abstraction using generalization functions -- An improvement of deduction plans: Refutation plans -- Controlling deduction with proof condensation and heuristics -- Nested resolution -- Mechanizing constructive proofs -- Implementing number theory: An experiment with Nuprl -- Parallel algorithms for term matching -- Unification in combinations of collapse-free theories with disjoint sets of function symbols -- Combination of unification algorithms -- Unification in the data structure sets -- NP-completeness of the set unification and matching problems -- Matching with distributivity -- Unification in boolean rings -- Some relationships between unification, restricted unification, and matching -- A classification of many-sorted unification problems -- Unification in many-sorted equational theories -- Classes of first order formulas under various satisfiability definitions -- Diamond formulas in the dynamic logic of recursively enumerable programs -- A prolog machine -- A prolog technology theorem prover: Implementation by an extended prolog compiler -- Paths to high-performance automated theorem proving -- Purely functional implementation of a logic -- Causes for events: Their computation and applications -- How to clear a block: Plan formation in situational logic -- Deductive synthesis of sorting programs -- The TPS theorem proving system -- Trspec: A term rewriting based system for algebraic specifications -- Highly parallel inference machine -- Automatic theorem proving in the ISDV system -- The karlsruhe induction theorem proving system -- Overview of a theorem-prover for a computational logic -- GEO-prover — A geometry theorem prover developed at UT -- The markgraf karl refutation procedure (MKRP) -- The J-machine: Functional programming with combinators -- The illinois prover: A general purpose resolution theorem prover -- Theorem proving systems of the Formel project -- The passau RAP system: Prototyping algebraic specifications using conditional narrowing -- RRL: A rewrite rule laboratory -- A geometry theorem prover based on Buchberger's algorithm -- REVE a rewrite rule laboratory -- ITP at argonne national laboratory -- Autologic at university of victoria -- Thinker -- The KLAUS automated deduction system -- The KRIPKE automated theorem proving system -- SHD-prover at university of texas at austin. |
Record Nr. | UNISA-996465940003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1986 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|