Libros sobre el tema "Theory of algorithms and mathematical logic"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores mejores libros para su investigación sobre el tema "Theory of algorithms and mathematical logic".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore libros sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Uspensky, Vladimir. Algorithms: Main Ideas and Applications. Springer Netherlands, 1993.
Buscar texto completoLavrov, Igor, and Larisa Maksimova. Problems in Set Theory, Mathematical Logic and the Theory of Algorithms. Edited by Giovanna Corsi. Springer US, 2003. http://dx.doi.org/10.1007/978-1-4615-0185-5.
Texto completoservice), SpringerLink (Online, ed. Proofs and Algorithms: An Introduction to Logic and Computability. Springer-Verlag London Limited, 2011.
Buscar texto completo1939-, Kohlas Jürg, and Moral Serafín 1952-, eds. Algorithms for uncertainty and defeasible reasoning. Kluwer Academic Publishers, 2000.
Buscar texto completoKohlas, Jürg. Handbook of Defeasible Reasoning and Uncertainty Management Systems: Algorithms for Uncertainty and Defeasible Reasoning. Springer Netherlands, 2000.
Buscar texto completoMaslov, S. I͡U. Teorii͡a deduktivnykh sistem i ee primenenii͡a. "Radio i svi͡azʹ", 1986.
Buscar texto completoMaslov, S. I͡U. Theory of deductive systems and its applications. MIT Press, 1987.
Buscar texto completoMcGuire, Hugh W. Two methods for checking formulas of temporal logic. Dept. of Computer Science, Stanford University, 1995.
Buscar texto completo1945-, Gabbay Dov M., and Smets Philippe, eds. Handbook of defeasible reasoning and uncertainty management systems. Kluwer, 1998.
Buscar texto completoBiela, Andrzej. Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories. Wydawn. Uniwersytetu Śląskiego, 2000.
Buscar texto completoOtterlo, Martijn van. The logic of adaptive behavior: Knowledge representation and algorithms for adaptive sequential decision making under uncertainty in first-order and relational domains. Ios Press, 2009.
Buscar texto completoOtterlo, Martijn van. The logic of adaptive behavior: Knowledge representation and algorithms for adaptive sequential decision making under uncertainty in first-order and relational domains. Ios Press, 2009.
Buscar texto completoSAT 2010 (2010 Edinburgh, UK). Theory and applications of satisfiability testing-- SAT 2010: 13th international conference, SAT 2010 Edinburgh, UK, July 2010 : proceedings. Springer, 2010.
Buscar texto completoeditor, Hirsch Edward A., Kuznetsov Sergei O. editor, Pin Jean Eric editor, and Vereshchagin, Nikolai Konstantinovich, 1958- editor, eds. Computer science - theory and applications: 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014 : proceedings. Springer, 2014.
Buscar texto completoSokolov, Artem, and Oleg Zhdanov. Cryptographic constructions on the basis of functions of multivalued logic. INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1045434.
Texto completoChan, T.-H. Hubert. Theory and Applications of Models of Computation: 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings. Springer Berlin Heidelberg, 2013.
Buscar texto completoItalian, Conference on Algorithms and Complexity (5th 2003 Rome Italy). Algorithms and complexity: 5th Italian conference, CIAC 2003, Rome, Italy, May 28-30, 2003 : proceedings. Springer, 2003.
Buscar texto completoMurlak, Filip. Mathematical Foundations of Computer Science 2011: 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings. Springer-Verlag Berlin Heidelberg, 2011.
Buscar texto completoBobyr', Maksim, Sergey Emel'yanov, and Natal'ya Milostnaya. Automated fuzzy logic control systems and methods of their sensitization. INFRA-M Academic Publishing LLC., 2025. https://doi.org/10.12737/2162831.
Texto completoJärvisalo, Matti. Theory and Applications of Satisfiability Testing – SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings. Springer Berlin Heidelberg, 2013.
Buscar texto completoBeckmann, Arnold, Costas Dimitracopoulos, and Benedikt Löwe, eds. Logic and Theory of Algorithms. Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-69407-6.
Texto completoBéal, Marie-Pierre. Developments in Language Theory: 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings. Springer Berlin Heidelberg, 2013.
Buscar texto completoAstrahancevaa, Irina, Sergey Bobkov, Vadim Mizonov, and Sergey Boykov. Modeling of systems. INFRA-M Academic Publishing LLC., 2022. http://dx.doi.org/10.12737/1831624.
Texto completoWen-tsün, Wu. Mechanical theorem proving in geometries: Basic principles. Springer-Verlag, 1994.
Buscar texto completoPrestel, Alexander, and Charles N. Delzell. Mathematical Logic and Model Theory. Springer London, 2011. http://dx.doi.org/10.1007/978-1-4471-2176-3.
Texto completoJerusalem), International Workshop on Conditional (and Typed) Rewriting Systems (4th 1994. Conditional and typed rewriting systems: 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings. Springer, 1995.
Buscar texto completoDediu, Adrian-Horia. Language and Automata Theory and Applications: 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings. Springer Berlin Heidelberg, 2013.
Buscar texto completoFuhrer, Robert M. Sequential optimization of asynchronous and synchronous finite-state machines: Algorithms and tools. Kluwer Academic Publishers, 2001.
Buscar texto completoLavrov, Igor, Larisa Maksimova, and Giovanna Corsi. Problems in Set Theory, Mathematical Logic and the Theory of Algorithms. Springer, 2012.
Buscar texto completoCorsi, G., Igor Lavrov, and Larisa Maksimova. Problems in Set Theory, Mathematical Logic and the Theory of Algorithms. Springer London, Limited, 2012.
Buscar texto completoProblems in set theory, mathematical logic, and the theory of algorithms. Kluwer Academic/Plenum Publishers, 2003.
Buscar texto completoLavrov, Igor, and Larisa Maksimova. Problems in Set Theory, Mathematical Logic and the Theory of Algorithms (University Series in Mathematics). Springer, 2003.
Buscar texto completoTriantaphyllou, Evangelos. Data Mining and Knowledge Discovery via Logic-Based Methods: Theory, Algorithms, and Applications. Springer, 2012.
Buscar texto completoTriantaphyllou, Evangelos. Data Mining and Knowledge Discovery via Logic-Based Methods: Theory, Algorithms, and Applications. Springer, 2011.
Buscar texto completoData mining and knowledge discovery via logic-based methods: Theory, algorithms, and applications. Springer, 2010.
Buscar texto completoKroening, Daniel. Decision Procedures: An Algorithmic Point of View. Springer, 2018.
Buscar texto completoKroening, Daniel, Ofer Strichman, and R. E. Bryant. Decision Procedures: An Algorithmic Point of View. Springer, 2010.
Buscar texto completoKroening, Daniel, and Ofer Strichman. Decision Procedures: An Algorithmic Point of View. Springer Berlin / Heidelberg, 2017.
Buscar texto completoKroening, Daniel, and Ofer Strichman. Decision Procedures: An Algorithmic Point of View. Springer London, Limited, 2016.
Buscar texto completoBüning, Hans Kleine, and Theodor Lettmann. Propositional Logic: Deduction and Algorithms (Cambridge Tracts in Theoretical Computer Science). Cambridge University Press, 1999.
Buscar texto completoDimitracopoulos, Costas, Benedikt Löwe, and Arnold Beckmann. Logic and Theory of Algorithms: 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings. Springer London, Limited, 2008.
Buscar texto completoLogic And Theory Of Algorithms 4th Conference On Computability In Europe Cie 2008 Athens Greece June 1520 2008 Proceedings. Springer, 2008.
Buscar texto completoTheory and applications of satisfiability teasting - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings. Springer, 2013.
Buscar texto completo(Editor), D. M. Gabbay, and Philippe Smets (Editor), eds. Handbook of Defeasible Reasoning and Uncertainty Management Systems - Volume 5: Algorithms for Uncertainty and Defeasible Reasoning. Springer, 2000.
Buscar texto completoBiere, Armin, and Carla P. Gomes. Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings. Springer London, Limited, 2006.
Buscar texto completoFuzzy Surfaces in GIS and Geographical Analysis: Theory, Analytical Methods, Algorithms and Applications. CRC, 2007.
Buscar texto completo