QR Code

ALGEBRAIC AND LOGIC PROGRAMMING /

Saved in:

Bibliographic Details
Main Author:	Bergstra, J. A.
Other Authors:	Grabowski, J. (Editor), Lescanne, P., Welcher, W.
Format:	Book
Language:	English
Published:	Berlin : Akademie, 1988
Online Access:
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Algebraic and logic programming : Proceedings, Aachen, Germany, Sept. 25 - 27, 1996 /
by: Pierro, Alessandra Di
Published: (1996)

THE LOGIC OF PROGRAMMING /
by: Hehner, Eric C. R.
Published: (1984)

Logic in algebraic form : three lenguages and theories.
by: Craig, William
Published: (1974)

FROM LOGIC DESIGN TO LOGIC PROGRAMMING /
by: Snyers, Dominique
Published: (1987)

MICROPROCESSORS AND PROGRAMMED LOGIC /
by: Short, Kenneth L.
Published: (1987)

Temporal logic of programs /
by: Kröger, Fred
Published: (1987)

FOUNDATIONS OF LOGIC PROGRAMMING /
by: Lloyd, John Wylie
Published: (1984)

An algebraic approach to non-classical logics.
by: Rasiowa, Helena
Published: (1974)

Algebraic methods. Theory, tools and applications /
by: Bergstra, Jan A.
Published: (1989)

Logic of programs : workshop, ETH Zürich, May-July 1979 /
by: Kozen, Dexter
Published: (1981)

MICRO-PROLOG. PROGRAMMING IN LOGIC /
by: Clark, Keith L.
Published: (1984)

Deductive databases and logic programming /
by: Das, Subrata Kumar
Published: (1992)

Mathematical logic and programming languages /
by: Kowalski, R.
Published: (1985)

Studies in automatic programming logic /
by: Manna, Zohar
Published: (1977)

Programming of small logic controllers /
by: Fedor, Pavol 1932-
Published: (2001)

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Published: (2018)

6800 programming for logic design /
by: Osborne, Adam
Published: (1977)

Extensions of logic programming : Proceedings, Tübingen, FRG, Dec. 8 - 10, 1989 /
by: Andreoli, Jean-Marc
Published: (1991)

LOGIC PROGRAMMING 87 : PROCEEDINGS OF THE 6TH CONFERENCE, Tokyo, Japan, June 22-24, 1987 /
by: Jaffer, Joxan
Published: (1988)

Prolog versus you. An introduction to logic programming /
by: Johansson, Anna-Lena
Published: (1989)

Logic program synthesis and transformation : Proceedings, Utrecht, The Netherlands, Sept. 20 - 22, 1995 /
by: Leuschel, Michael
Published: (1996)

Category theory. Applications to algebra, logic and topology : Proceedings of the internat. conf., Gummersbach, July 6 - 10, 1981 /
by: Bentley, H. L.
Published: (1982)

ALGEBRAIC APPROACHES TO PROGRAM SEMANTICS /
by: Manes, Ernest G.
Published: (1986)

A programming logic with an introduction to the PL/CV verifier /
by: Constable, Robert L.
Published: (1978)

The logic of chemical synthesis /
by: Corey, E. J.
Published: (1989)

Electronic logic circuits /
by: Gibson, J. R.
Published: (1979)

DIGITAL LOGIC AND MICROPROCESSOR /
by: Hill, Fredrich J.
Published: (1984)

Logical Form Between Logic and Natural Language /
by: Iacona, Andrea
Published: (2018)

Digital logic : basic theory and practice /
by: Smith, J. H.
Published: (1971)

THE LOGIC OF INDUCTION /
by: Mortimer, Halina
Published: (1988)

MATRIX LOGIC /
by: Stern, August
Published: (1988)

Absolute logics /
by: Akkanen, Jyrki
Published: (1995)

Mathematical logic /
by: Demlová, Marie
Published: (1999)

Logic and structure /
by: Dalen, Dirk van
Published: (1983)

Digital logic gates /
by: Korn, Granino A.
Published: (1978)

Mathematical logic /
by: Flum, Jörg, et al.
Published: (1984)

3rd international conference on logic programming : Proceedings, London, U. K., July 14 - 18, 1986 /
by: Fuchi, Kazuhiro
Published: (1986)

Fuzzy logic with engineering applications /
by: Ross, Timothy J.
Published: (1995)

Algebra /
by: Flachsmeyer, J., et al.
Published: (1978)

Reasoning with fuzzy logic /
by: Hellendoorn, Johannes
Published: (1990)