From logic to computing /

Epistemic logic for AI and computer science /
by: Meyer, John-Jules Ch
Published: (1995)

The logical basis for computer programming /
by: Manna, Zohar
Published: (1985)

Logic and algebra of specification /
Published: (1993)

Temporal logic : mathematical foundations and computational aspects /
by: Gabbay, Dov M., 1945-
Published: (1994)

Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers /
Published: (1994)

Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil /
Published: (1999)

Journal of logic and computation.

Journal of logic and computation.
Published: (1990)

Logic and information flow /
Published: (1994)

Logic, language and computation /
Published: (1997)

Logical frameworks /
Published: (1991)

The logic of information structures /
by: Wansing, H. (Heinrich)
Published: (1993)

ACM transactions on computational logic.

The logic of programming /
by: Hehner, Eric C. R.
Published: (1984)

Logic programming /
Published: (1982)

Vivid logic : knowledge-based reasoning with two kinds of negation /
by: Wagner, G. (Gerd), 1957-
Published: (1994)

Logic and structured design for computer programmers /
by: Rood, Harold J.
Published: (2001)

Conditional logic in expert systems /
Published: (1991)

Hanbdook of logic in computer science.
Published: (2020)

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

Temporal logics and their applications /
Published: (1987)

Introduction to logic programming /
by: Hogger, Christopher John
Published: (1984)

Logic-based artificial intelligence /
Published: (2000)

Logic, language, and computation /
Published: (1996)

Meta-logics and logic programming /
Published: (1995)

Principles of logic and logic programming /
by: Metakides, George, 1945-
Published: (1996)

The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings /
Published: (1991)

Logic of Computation /
by: Schwichtenberg, Helmut
Published: (1997)

Linear logic in computer science /
Published: (2004)

Executing temporal logic programs /
by: Moszkowski, B. C.
Published: (1986)

What is a logical system? /
Published: (1994)

Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11 - 14 ; proceedings /
Published: (1994)

A computational logic handbook /
by: Boyer, Robert S.
Published: (1988)

Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings /
Published: (1994)

Automated deduction in multiple-valued logics /
by: Hähnle, Reiner
Published: (1993)

Logic for applications /
by: Nerode, Anil, 1932-
Published: (1993)