Log in

Relevant bibliographies by topics / Theory of algorithms and mathematical logic / Books

To see the other types of publications on this topic, follow the link: Theory of algorithms and mathematical logic.

Books on the topic 'Theory of algorithms and mathematical logic'

Author: Grafiati

Published: 28 May 2022

Last updated: 30 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 books for your research on the topic 'Theory of algorithms and mathematical logic.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse books on a wide variety of disciplines and organise your bibliography correctly.

1

Uspensky, Vladimir. Algorithms: Main Ideas and Applications. Springer Netherlands, 1993.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Lavrov, 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

service), SpringerLink (Online, ed. Proofs and Algorithms: An Introduction to Logic and Computability. Springer-Verlag London Limited, 2011.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Sturmfels, Bernd. Algorithms in invariant theory. 2nd ed. Springer, 2008.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

1939-, Kohlas Jürg, and Moral Serafín 1952-, eds. Algorithms for uncertainty and defeasible reasoning. Kluwer Academic Publishers, 2000.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Kohlas, Jürg. Handbook of Defeasible Reasoning and Uncertainty Management Systems: Algorithms for Uncertainty and Defeasible Reasoning. Springer Netherlands, 2000.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Maslov, S. I͡U. Teorii͡a deduktivnykh sistem i ee primenenii͡a. "Radio i svi͡azʹ", 1986.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Maslov, S. I͡U. Theory of deductive systems and its applications. MIT Press, 1987.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

McGuire, Hugh W. Two methods for checking formulas of temporal logic. Dept. of Computer Science, Stanford University, 1995.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

1945-, Gabbay Dov M., and Smets Philippe, eds. Handbook of defeasible reasoning and uncertainty management systems. Kluwer, 1998.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

11

Biela, Andrzej. Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories. Wydawn. Uniwersytetu Śląskiego, 2000.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

12

Otterlo, 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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

13

Otterlo, 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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

14

SAT 2010 (2010 Edinburgh, UK). Theory and applications of satisfiability testing-- SAT 2010: 13th international conference, SAT 2010 Edinburgh, UK, July 2010 : proceedings. Springer, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

15

Blum, Lenore. Complexity and Real Computation. Springer New York, 1998.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

16

editor, 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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

17

Sokolov, 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.

Full text

Abstract:

Symmetric encryption algorithms have been successfully used to protect information during transmission on an open channel. The classical approach to the synthesis of modern cryptographic algorithms and cryptographic primitives on which they are based, is the use of mathematical apparatus of Boolean functions. The authors demonstrate that the use to solve this problem of functions of multivalued logic (FML) allows to largely improve the durability of the cryptographic algorithms and to extend the used algebraic structures. On the other hand, the study of functions of multivalued logic in crypto

APA, Harvard, Vancouver, ISO, and other styles

18

Chan, 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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

19

Italian, 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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

20

Murlak, Filip. Mathematical Foundations of Computer Science 2011: 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings. Springer-Verlag Berlin Heidelberg, 2011.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

21

Bobyr', 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.

Full text

Abstract:

The monograph is devoted to the methods of designing automated fuzzy logic control systems and methods of their sensing using vision systems. The presented methods, mathematical models, algorithms, and fuzzy logic control systems based on them differ from the known ones by automatically correcting the parameters of the cutting mode, taking into account the disturbing effects acting on the control object in real time. It is addressed to scientists, engineers, graduate students and students of technical specialties interested in fuzzy logic, control theory, stability of complex systems and manag

APA, Harvard, Vancouver, ISO, and other styles

22

Järvisalo, Matti. Theory and Applications of Satisfiability Testing – SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings. Springer Berlin Heidelberg, 2013.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

23

Beckmann, 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Bé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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

25

Astrahancevaa, Irina, Sergey Bobkov, Vadim Mizonov, and Sergey Boykov. Modeling of systems. INFRA-M Academic Publishing LLC., 2022. http://dx.doi.org/10.12737/1831624.

Full text

Abstract:

The textbook discusses general issues of system modeling, analytical, empirical and simulation approaches to modeling. Typical mathematical schemes used in the analytical approach, methods and tools of simulation modeling of systems are given. Attention is also paid to network and agent-based alternative approaches to modeling. Meets the requirements of the federal state educational standards of higher education of the latest generation. It is intended for undergraduate students studying in the direction of 09.03.02 "Information systems and technologies", whose working curricula in

APA, Harvard, Vancouver, ISO, and other styles

26

Wen-tsün, Wu. Mechanical theorem proving in geometries: Basic principles. Springer-Verlag, 1994.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

27

Prestel, Alexander, and Charles N. Delzell. Mathematical Logic and Model Theory. Springer London, 2011. http://dx.doi.org/10.1007/978-1-4471-2176-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Jerusalem), 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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

29

Dediu, Adrian-Horia. Language and Automata Theory and Applications: 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings. Springer Berlin Heidelberg, 2013.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

30

Tourlakis, George J. Mathematical logic. Wiley, 2008.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

31

Fuhrer, Robert M. Sequential optimization of asynchronous and synchronous finite-state machines: Algorithms and tools. Kluwer Academic Publishers, 2001.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

32

A, Uspenskiĭ V. Algorithms. Kluwer Academic, 1993.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

33

Lavrov, Igor, Larisa Maksimova, and Giovanna Corsi. Problems in Set Theory, Mathematical Logic and the Theory of Algorithms. Springer, 2012.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

34

Corsi, G., Igor Lavrov, and Larisa Maksimova. Problems in Set Theory, Mathematical Logic and the Theory of Algorithms. Springer London, Limited, 2012.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

35

Problems in set theory, mathematical logic, and the theory of algorithms. Kluwer Academic/Plenum Publishers, 2003.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

36

Lavrov, Igor, and Larisa Maksimova. Problems in Set Theory, Mathematical Logic and the Theory of Algorithms (University Series in Mathematics). Springer, 2003.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

37

Triantaphyllou, Evangelos. Data Mining and Knowledge Discovery via Logic-Based Methods: Theory, Algorithms, and Applications. Springer, 2012.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

38

Triantaphyllou, Evangelos. Data Mining and Knowledge Discovery via Logic-Based Methods: Theory, Algorithms, and Applications. Springer, 2011.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

39

Data mining and knowledge discovery via logic-based methods: Theory, algorithms, and applications. Springer, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

40

Kroening, Daniel. Decision Procedures: An Algorithmic Point of View. Springer, 2018.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

41

Kroening, Daniel, Ofer Strichman, and R. E. Bryant. Decision Procedures: An Algorithmic Point of View. Springer, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

42

Kroening, Daniel, and Ofer Strichman. Decision Procedures: An Algorithmic Point of View. Springer Berlin / Heidelberg, 2017.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

43

Kroening, Daniel, and Ofer Strichman. Decision Procedures: An Algorithmic Point of View. Springer London, Limited, 2016.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

44

Büning, Hans Kleine, and Theodor Lettmann. Propositional Logic: Deduction and Algorithms (Cambridge Tracts in Theoretical Computer Science). Cambridge University Press, 1999.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

45

Dimitracopoulos, 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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

46

Logic And Theory Of Algorithms 4th Conference On Computability In Europe Cie 2008 Athens Greece June 1520 2008 Proceedings. Springer, 2008.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

47

Theory and applications of satisfiability teasting - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings. Springer, 2013.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

48

(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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

49

Biere, 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.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

50

Fuzzy Surfaces in GIS and Geographical Analysis: Theory, Analytical Methods, Algorithms and Applications. CRC, 2007.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!