top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
.. BRICS Congress on Computational Intelligence and ... Brazilian Congress on Computational Intelligence
.. BRICS Congress on Computational Intelligence and ... Brazilian Congress on Computational Intelligence
Pubbl/distr/stampa Piscataway, NJ : , : IEEE, , [2013]
Descrizione fisica 1 online resource
Disciplina 006.3
Soggetto topico Computational intelligence
Soggetto genere / forma Conference papers and proceedings.
ISSN 2377-0597
Formato Materiale a stampa
Livello bibliografico Periodico
Lingua di pubblicazione eng
Record Nr. UNISA-996280126003316
Piscataway, NJ : , : IEEE, , [2013]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
.. BRICS Congress on Computational Intelligence and ... Brazilian Congress on Computational Intelligence
.. BRICS Congress on Computational Intelligence and ... Brazilian Congress on Computational Intelligence
Pubbl/distr/stampa Piscataway, NJ : , : IEEE, , [2013]
Descrizione fisica 1 online resource
Disciplina 006.3
Soggetto topico Computational intelligence
Soggetto genere / forma Conference papers and proceedings.
ISSN 2377-0597
Formato Materiale a stampa
Livello bibliografico Periodico
Lingua di pubblicazione eng
Record Nr. UNINA-9910625168303321
Piscataway, NJ : , : IEEE, , [2013]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
The ... CSI International Symposium on Artificial Intelligence & Signal Processing
The ... CSI International Symposium on Artificial Intelligence & Signal Processing
Pubbl/distr/stampa Piscataway, NJ : , : IEEE
Disciplina 006.3
Soggetto topico Artificial intelligence
Signal processing
Soggetto genere / forma Conference papers and proceedings.
Electronic journals.
Periodicals.
ISSN 2640-5768
Formato Materiale a stampa
Livello bibliografico Periodico
Lingua di pubblicazione eng
Record Nr. UNINA-9910625173003321
Piscataway, NJ : , : IEEE
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
.. IEEE International Conference on Computational Intelligence and Computing Research
.. IEEE International Conference on Computational Intelligence and Computing Research
Pubbl/distr/stampa Piscataway, NJ : , : Institute of Electrical and Electronics Engineers
Disciplina 006.3
Soggetto topico Computational intelligence
Soggetto genere / forma Electronic journals.
Conference papers and proceedings.
Periodicals.
ISSN 2473-943X
Formato Materiale a stampa
Livello bibliografico Periodico
Lingua di pubblicazione eng
Altri titoli varianti Computational Intelligence and Computing Research
.. IEEE ICCIC
Record Nr. UNINA-9910626121803321
Piscataway, NJ : , : Institute of Electrical and Electronics Engineers
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
.. IEEE International Conference on Computational Intelligence and Virtual Environments for Measurement Systems and Applications
.. IEEE International Conference on Computational Intelligence and Virtual Environments for Measurement Systems and Applications
Pubbl/distr/stampa Piscataway, NJ : , : IEEE, , [2013]-
Disciplina 006.3
Soggetto topico Computational intelligence
Virtual reality
Measurement
Fuzzy sets
Soggetto genere / forma Conference papers and proceedings.
Formato Materiale a stampa
Livello bibliografico Periodico
Lingua di pubblicazione eng
Record Nr. UNISA-996280127003316
Piscataway, NJ : , : IEEE, , [2013]-
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
.. IEEE International Conference on Computational Intelligence and Virtual Environments for Measurement Systems and Applications
.. IEEE International Conference on Computational Intelligence and Virtual Environments for Measurement Systems and Applications
Pubbl/distr/stampa Piscataway, NJ : , : IEEE, , [2013]-
Disciplina 006.3
Soggetto topico Computational intelligence
Virtual reality
Measurement
Fuzzy sets
Soggetto genere / forma Conference papers and proceedings.
Formato Materiale a stampa
Livello bibliografico Periodico
Lingua di pubblicazione eng
Altri titoli varianti CIVEMSA ..
IEEE CIVEMSA
Computational Intelligence and Virtual Environments for Measurement Systems and Applications (CIVEMSA), ... IEEE International Conference on
Record Nr. UNINA-9910626199103321
Piscataway, NJ : , : IEEE, , [2013]-
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
.. International Conference on Intelligent Systems, Theories and Applications
.. International Conference on Intelligent Systems, Theories and Applications
Pubbl/distr/stampa Piscataway, NJ : , : IEEE
Disciplina 006.3
Soggetto topico Artificial intelligence
Computational intelligence
Computer networks
Soggetto genere / forma Conference papers and proceedings.
Formato Materiale a stampa
Livello bibliografico Periodico
Lingua di pubblicazione eng
Altri titoli varianti SITA ..
Intelligent Systems: Theories and Applications (SITA), ... International Conference on
Record Nr. UNINA-9910626177503321
Piscataway, NJ : , : IEEE
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
10th International Conference on Automated Deduction [[electronic resource] ] : Kaiserslautern, FRG, July 24-27, 1990. Proceedings / / edited by Mark E. Stickel
10th International Conference on Automated Deduction [[electronic resource] ] : Kaiserslautern, FRG, July 24-27, 1990. Proceedings / / edited by Mark E. Stickel
Edizione [1st ed. 1990.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990
Descrizione fisica 1 online resource (XVIII, 690 p.)
Disciplina 006.3
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Mathematical logic
Artificial Intelligence
Mathematical Logic and Formal Languages
ISBN 3-540-47171-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A theorem prover for a computational logic -- A complete semantic back chaining proof system -- Parallelizing the closure computation in automated deduction -- Partheo: A high-performance parallel theorem prover -- Substitution-based compilation of extended rules in deductive databases -- Automatic theorem proving in paraconsistent logics: Theory and implementation -- Case-free programs: An abstraction of definite horn programs -- Generalized well-founded semantics for logic programs -- Tactical theorem proving in program verification -- Extensions to the rippling-out tactic for guiding inductive proofs -- Guiding induction proofs -- Term rewriting induction -- A resolution principle for clauses with constraints -- Str+ve: The Str+ve-based subset prover -- Ritt-Wu's decomposition algorithm and geometry theorem proving -- Encoding a dependent-type ?-calculus in a logic programming language -- Investigations into proof-search in a system of first-order dependent function types -- Equality of terms containing associative-commutative functions and commutative binding operators is isomorphism complete -- An improved general E-unification method -- Some results on equational unification -- Unification in a combination of equational theories: an efficient algorithm -- SLIM: An automated reasoner for equivalences, applied to set theory -- An examination of the prolog technology theorem-prover -- Presenting intuitive deductions via symmetric simplification -- Toward mechanical methods for streamlining proofs -- Ordered rewriting and confluence -- Complete sets of reductions with constraints -- Rewrite systems for varieties of semigroups -- Improving associative path orderings -- Perspectives on automated deduction -- On restrictions of ordered paramodulation with simplification -- Simultaneous paramodulation -- Hyper resolution and equality axioms without function substitutions -- Automatic acquisition of search guiding heuristics -- Automated reasoning contributes to mathematics and logic -- A mechanically assisted constructive proof in category theory -- Dynamic logic as a uniform framework for theorem proving in intensional logic -- A tableaux-based theorem prover for a decidable subset of default logic -- Computing prime implicants -- Minimizing the number of clauses by renaming -- Higher order E-unification -- Programming by example and proving by example using higher-order unification -- Retrieving library identifiers via equational matching of types -- Unification in monoidal theories -- A science of reasoning: Extended abstract -- The TPS theorem proving system -- Schemata -- Cylindric algebra equation solver -- The OYSTER-CLAM system -- A high-performance parallel theorem prover -- The romulus proof checker -- IMPS : An interactive mathematical proof system -- UNICOM: A refined completion based inductive theorem prover -- The theorem prover of the program verifier Tatzelwurm -- RCL: A lisp verification system -- Orme an implementation of completion procedures as sets of transitions rules -- Otter 2.0 -- Dissolver: A dissolution-based theorem prover -- TRIP: An implementation of clausal rewriting -- OSCAR -- Expert thinker: An adaptation of F-Prolog to microcomputers -- A prolog technology theorem prover -- A general clause theorem prover -- Liss — The logic inference search system -- ACE: The abstract clause engine -- Tutorial on high-performance automated theorem proving -- Tutorial on reasoning and representation with concept languages -- Tutorial on ?Prolog -- Tutorial on equational unification -- Tutorial on compilation techniques for logics -- Tutorial on high-performance theorem provers: Efficient implementation and parallelisation -- Tutorial on rewrite-based theorem proving -- Tutorial on program-synthetic deduction -- Tutorial on computing models of propositional logics.
Record Nr. UNISA-996465843003316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
10th International Conference on Soft Computing Models in Industrial and Environmental Applications [[electronic resource] /] / edited by Álvaro Herrero, Javier Sedano, Bruno Baruque, Héctor Quintián, Emilio Corchado
10th International Conference on Soft Computing Models in Industrial and Environmental Applications [[electronic resource] /] / edited by Álvaro Herrero, Javier Sedano, Bruno Baruque, Héctor Quintián, Emilio Corchado
Edizione [1st ed. 2015.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Descrizione fisica 1 online resource (471 p.)
Disciplina 006.3
Collana Advances in Intelligent Systems and Computing
Soggetto topico Computational intelligence
Artificial intelligence
Computational Intelligence
Artificial Intelligence
ISBN 3-319-19719-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Applications -- Classification and Clustering Methods -- Evolutionary Computation and Optimization -- Intelligent Systems -- SOCO15-SS01: Soft Computing Methods in Bioinformatics -- SOCO15-SS02: Optimization, Modeling and Control Systems (OMCS) -- SOCO15-SS03: Soft Computing Approaches for Knowledge Extraction -- SOCO15-SS04: Soft Computing Methods in Manufacturing and Management Systems.
Record Nr. UNINA-9910299823503321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
10th International Conference on Theory and Application of Soft Computing, Computing with Words and Perceptions - ICSCCW-2019 [[electronic resource] /] / edited by Rafik A. Aliev, Janusz Kacprzyk, Witold Pedrycz, Mo Jamshidi, Mustafa B. Babanli, Fahreddin M. Sadikoglu
10th International Conference on Theory and Application of Soft Computing, Computing with Words and Perceptions - ICSCCW-2019 [[electronic resource] /] / edited by Rafik A. Aliev, Janusz Kacprzyk, Witold Pedrycz, Mo Jamshidi, Mustafa B. Babanli, Fahreddin M. Sadikoglu
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Descrizione fisica 1 online resource (997 pages)
Disciplina 006.3
Collana Advances in Intelligent Systems and Computing
Soggetto topico Computational intelligence
Artificial intelligence
Computational Intelligence
Artificial Intelligence
ISBN 3-030-35249-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910483980403321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui

Data di pubblicazione

Altro...