Materias dentro de su búsqueda.
Mostrando 961 - 980 Resultados de 14,940 Para Buscar '"logic"', tiempo de consulta: 0.13s Limitar resultados
  1. 961
    “…The authors first develop techniques to model inherently probabilistic methods in logic circuits and to test circuits for determining their reliability after they are manufactured. …”
    Enlace del recurso
    Enlace del recurso
    Design, Analysis and Test of Logic Circuits Under Uncertainty
  2. 962
    Enlace del recurso
    Enlace del recurso
    Mathematical Logic and Model Theory: A Brief Introduction
  3. 963
    por Castillo, Oscar
    Publicado 2012
    “…We describe in this book, hybrid intelligent systems based mainly on type-2 fuzzy logic for intelligent control. Hybrid intelligent systems combine several intelligent computing paradigms, including fuzzy logic, and bio-inspired optimization algorithms, which can be used to produce powerful automatic control systems. …”
    Enlace del recurso
    Enlace del recurso
    Type-2 Fuzzy Logic in Intelligent Control Applications
  4. 964
    por Artiges, Mark
    Publicado 2004
    Enlace del recurso
    BEA WebLogic server 8.1 unleashed
  5. 965
    por Fisher, Michael
    Publicado 2011
    Enlace del recurso
    An introduction to practical formal methods using temporal logic
  6. 966
    por Aliev, Rafik Aziz
    Publicado 2013
    “…The languages of new decision models for human-centric systems should be not languages based on binary logic but human-centric computational schemes able to operate on NL-described information. …”
    Enlace del recurso
    Enlace del recurso
    Fundamentals of the fuzzy logic-based generalized theory of decisions
  7. 967
    Enlace del recurso
    Spectral logic and its applications for the design of digital devices
  8. 968
    por Nievergelt, Yves
    Publicado 2002
    Enlace del recurso
    Enlace del recurso
    Foundations of logic and mathematics: applications to computer science and cryptography
  9. 969
    por Pozzato, GL
    Publicado 2010
    “…Contains a version of the author's PhD dissertation and focuses on proof methods and theorem proving for conditional and preferential logics. This book introduces proof methods (sequent and tableau calculi) for conditional and preferential logics, as well as theorem provers obtained by implementing the proposed calculi.…”
    Enlace del recurso
    Conditional and preferential logics: proof methods and theorem proving
  10. 970
    por Moschovakis, Yiannis
    Publicado 1992
    Enlace del recurso
    Enlace del recurso
    Logic from Computer Science : Proceedings of a Workshop
  11. 971
    por Corsi, Giovanna
    Publicado 2003
    Enlace del recurso
    Enlace del recurso
    Problems in set theory, mathematical logic and the theory of algorithms
  12. 972
    por Höhle, Ulrich, Rodabaugh, Stephen
    Publicado 1999
    Enlace del recurso
    Enlace del recurso
    Mathematics of fuzzy sets: logic, topology, and measure theory
  13. 973
    por Bramel, Julien, Simchi-Levi, David
    Publicado 1997
    Enlace del recurso
    Enlace del recurso
    The logic of logistics: theory, algorithms, and applications for logistics management
  14. 974
    por Mazzola, Guerino
    Publicado 2002
    Enlace del recurso
    Enlace del recurso
    The topos of music: geometric logic of concepts, theory, and performance
  15. 975
    por Harris, C J, Moore, CG, Brown, M
    Publicado 1993
    Enlace del recurso
    Intelligent control: aspects of fuzzy logic and neural nets
  16. 976
    por Kawalec, Paweł
    Publicado 2003
    Enlace del recurso
    Enlace del recurso
    Structural reliabilism: inductive logic as a theory of justification
  17. 977
    por Ohlbach, Hans, Reyle, Uwe
    Publicado 1999
    Enlace del recurso
    Enlace del recurso
    Logic, language and reasoning: essays in honour of Dov Gabbay
  18. 978
    por Hölldobler, Steffen
    Publicado 2000
    Enlace del recurso
    Enlace del recurso
    Intellectics and computational logic: papers in honor of wolfgang bibel
  19. 979
    por Morscher, Edgar, Hieke, Alexander
    Publicado 2001
    Enlace del recurso
    Enlace del recurso
    New essays in free logic: in honour of Karel Lambert
  20. 980
    por Chiara, M, Giuntini, R, Greechie, R
    Publicado 2004
    Enlace del recurso
    Enlace del recurso
    Reasoning in quantum theory: sharp and unsharp quantum logics
Herramientas de búsqueda: RSS