Log in

Relevant bibliographies by topics / Logical programming / Books

To see the other types of publications on this topic, follow the link: Logical programming.

Books on the topic 'Logical programming'

Author: Grafiati

Published: 4 June 2021

Last updated: 26 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 'Logical programming.'

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

Gérard, Huet, ed. Logical foundations of functional programming. Addison-Wesley, 1989.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Gérard, Huet, ed. Logical foundations of functional programming. Addison-Wesley, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Richard, Waldinger, ed. The logical basis for computer programming. Addison-Wesley, 1985.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Petrenko, Aleksandr, and Aleksandr Suvorov. Logic programming. INFRA-M Academic Publishing LLC., 2024. https://doi.org/10.12737/2056738.

Full text

Abstract:

The textbook discusses issues related to logical programming languages: application features, syntax, functions. A large number of meaningful examples of problem solving are given, demonstrating the capabilities of logical programming languages. Meets the requirements of the federal state educational standards of higher education of the latest generation. For students of higher educational institutions studying in the areas of training "Information technology of automated systems", "Software Engineering", "Applied Computer Science, as well as individuals who independently study logic programmi

APA, Harvard, Vancouver, ISO, and other styles

5

Hennie, Frederick. Iterative arrays of logical circuits. MIT-Press, 2003.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Latin American and Caribbean Institute for Economic and Social Planning. Area of Advisory Service Programmes., ed. Project ranking and logical design of an investment programming support system. Latin American and Caribbean Institute for Economic and Social Planning, Area of Advisory Service Programmes, 1989.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Richard, Waldinger, and Manna Zohar, eds. The deductive foundations of computer programming: A one-volume version of The logical basis for computer programming. Addison-Wesley Pub. Co., 1993.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

International Conference on Symbolic and Logical Computing (6th 1993 Dakota State University). Proceedings of the Sixth International Conference on Symbolic and Logical Computing. Dakota State University, 1993.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

International Conference on Symbolic and Logical Computing (4th 1989 Dakota State University). Proceedings of the Fourth International Conference on Symbolic and Logical Computing. Dakota State University, 1989.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

International Conference on Symbolic and Logical Computing (5th 1991 Dakota State University). Proceedings of the Fifth International Conference on Symbolic and Logical Computing. Dakota State University, 1991.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

11

Le, T. Van. Techniques of Prolog programming: With implementation of logical negation and quantified goals. Wiley, 1993.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

12

Crossley, John N., and Anil Nerode. Logical methods: In honor of Anil Nerode's sixtieth birthday. Springer, 1993.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

13

Chikurov, Nikolay, and Nikolay Levizi. Construction of discrete-logical control systems for electroautomatics. INFRA-M Academic Publishing LLC., 2023. http://dx.doi.org/10.12737/1852441.

Full text

Abstract:

The textbook discusses engineering methods of analysis and synthesis of discrete logic control systems of industrial mechanisms based on the apparatus of logic algebra and cyclograms of the operation of these mechanisms. New methods have been developed that make it possible to synthesize complex control systems on various element bases fairly quickly. Examples of designing control systems for machine-tool electrical automation devices are given. Students master the methodology of programming logic controllers in the instrumental programming environment of the ISaGRAF 6.5 ASP version using the

APA, Harvard, Vancouver, ISO, and other styles

14

Firesmith, Donald G. Object-oriented requirements analysis and logical design: A software engineering approach. Wiley, 1993.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

15

Artemov, Sergei. Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings. Springer Berlin Heidelberg, 2013.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

16

Harvey, Abramson, Rogers M. H. 1930-, and META88 (1988 : University of Bristol), eds. Meta-programming in logic programming. MIT Press, 1989.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

17

Doets, Kees. From logic to logic programming. MIT Press, 1994.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

18

Eijck, Jan van, and Kees Doets. The Haskell Road To Logic, Maths And Programming (Texts in Computing S.). King's College Publications, 2004.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

19

Dershowitz, Nachum. Equational programming. Dept. of Computer Science, University of Illinois at Urbana-Champaign, 1986.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

20

International Workshop PLILP '90 (1990 Linköping, Sweden). Programming language implementation and logic programming: Proceedings. Springer-Verlag, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

21

International Workshop PLILP '88 (1988 Orléans, France). Programming language implementation and logic programming: Proceedings. Springer-Verlag, 1989.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

22

Márkusz, Zsuzsa. Logic puzzles and logic programming. Computer and Automation Institute, Hungarian Academy of Sciences, 1988.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

23

Frank, Pfenning, ed. Types in logic programming. MIT Press, 1992.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

24

Paine, Jocelyn. The logic programming tutor. Kluwer Academic Publishers, 1992.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

25

Carrabis, Joseph-David. dBASE III advanced programming. Que Corp., 1985.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

26

International Conference on Logic Programming (16th 1999 Las Cruces, N.M.). Logic programming: Proceedings of the 1999 International Conference on Logic Programming. MIT, 2000.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

27

International Conference on Logic Programming (14th 1997 Leuven, Belgium). Logic programming: Proceedings of the Fourteenth International Conference on Logic Programming. MIT Press, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

28

Pascal, Van Hentenryck, ed. Logic programming: Proceedings of the eleventh International Conference on Logic Programming. MIT Press, 1994.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

29

International Conference on Logic Programming (1999 Las Cruces, New Mexico). Logic programming: Proceedings of the 1999 International Conference on Logic Programming. MIT Press, 1999.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

30

International Conference on Logic Programming. (11th 1994). Logic programming: Proceedings of the Eleventh International Conference on Logic Programming. MIT Press, 1994.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

31

Leon, Sterling, ed. Logic programming: Proceedings of the twelfth International Conference on Logic Programming. MIT, 1995.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

32

International Conference on Logic Programming. (10th 1993 Budapest, Hungary). Logic programming: Proceedings of the Tenth International Conference on Logic Programming. MIT Press, 1993.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

33

Ceri, Stefano. Logic Programming and Databases. Springer Berlin Heidelberg, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

34

1964-, Raedt Luc de, ed. Advances in inductive logic programming. IOS Press, 1996.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

35

1949-, Apt Krzysztof R., and Turini Franco 1949-, eds. Meta-logics and logic programming. MIT Press, 1995.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

36

W, Watson Bruce, ed. The correctness-by-construction approach to programming. Springer, 2012.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

37

Hölldobler, Steffen. Foundations of equational logic programming. Springer-Verlag, 1989.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

38

YAKUB, Mohmad. C++ Programming for Logical Thinking: Improve Coding. Independently Published, 2019.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

39

III, Hennie Frederick C. Iterative Arrays of Logical Circuits. MIT Press, 2003.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

40

Raedt, Luc De. Logical and Relational Learning. Springer, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

41

Benebo, Opubo G. Pythonnet Programming: Contextual GUI Logical Designs for Beginners. Okumaye Publishing Company, Incorporated, 2021.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

42

Garcia, H. M., and Hector Jesus Martin Garcia. COMBINED LOGICAL-NUMERICAL ENHANCEMENT (IHE Thesis). Routledge, 1996.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

43

Arya, Ali. Anyone Can Code: The Art and Science of Logical Creativity. Taylor & Francis Group, 2020.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

44

Arya, Ali. Anyone Can Code: The Art and Science of Logical Creativity. Taylor & Francis Group, 2020.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

45

Arya, Ali. Anyone Can Code: The Art and Science of Logical Creativity. Taylor & Francis Group, 2020.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

46

Arya, Ali. Anyone Can Code: The Art and Science of Logical Creativity. Taylor & Francis Group, 2020.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

47

Anyone Can Code: The Art and Science of Logical Creativity. Taylor & Francis Group, 2020.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

48

Raedt, Luc De. Logical and Relational Learning. Springer, 2009.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

49

Raedt, Luc De. Logical and Relational Learning. Springer London, Limited, 2008.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

50

The Journal of Functional and Logical Programming Volume 1999-2000. The MIT Press, 2000.

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!