Cargando…

The mechanism and freedom of logic

Detalles Bibliográficos
Autor principal:	Henry, Granville C.
Formato:	Libro
Publicado:	Lanham, Maryland : University Press of America, ©1993
Materias:	Lógica Prolog (Lenguaje de programación)

Ejemplares similares

A modern introduction to logic /
por: Stebbing, L. Susan (Lizzie Susan), 1885-1943
Publicado: (1961)

Introducción a la lógica /
por: Copi, Irving M.
Publicado: (2017)

Introducción a la teoría de la lógica
por: Zalabardo, José L.
Publicado: (2002)

From logic programming to Prolog /
por: Apt, Krzysztof R., 1949-
Publicado: (1997)

An introduction to logic programming through Prolog
por: Spivey, J. Michael
Publicado: (1996)

Techniques of Prolog programming with implementation of logical negation and quantified goals
por: Van Le, T.
Publicado: (1993)

Prolog : a logical approach /
por: Dodd, A. (Anthony), 1952-
Publicado: (1990)

Practical logic : an antidote for uncritical thinking
por: Soccio, Douglas J.
Publicado: (1992)

Logic.
por: Salmon, Wesley C.
Publicado: (1963)

Prolog and natural-language analysis
por: Pereira, Fernando C.N
Publicado: (1987)

Formal logic
por: Prior, A. N. (Arthur N.), 1914-1969
Publicado: (1962)

Introduction to logic
por: Copi, Irving M.
Publicado: (1968)

The essentials of logic
por: Sellars, Ray Wood, 1880-
Publicado: (1925)

Elements of logic
por: Whately, Richard 1787-1863
Publicado: (1975)

General logic : an introductory survey
por: Eaton, Ralph M. (Ralph Monroe)
Publicado: (1931)

Introduction to logical theory
por: Strawson, P. F.
Publicado: (1952)

The implementation of Prolog
por: Boizumault, Patrice, 1959-
Publicado: (1993)

Programming in Prolog /
por: Clocksin, W. F. (William F.), 1955-
Publicado: (2003)

The craft of Prolog /
por: O'Keefe, Richard A.
Publicado: (1990)

Prolog programación y aplicaciones
por: Burnham, W. D.
Publicado: (1989)

Prolog
Publicado: (1989)

Programación en Prolog
por: Clocksin, W. F. (William F.), 1955-
Publicado: (1987)

Clause and effect : Prolog programming for the working programmer /
por: Clocksin, W. F. (William F.), 1955-
Publicado: (1997)

Programming in Prolog
por: Clocksin, W. F. (William F.), 1955-
Publicado: (1994)

Practical Prolog
por: Young, Richard J., 1946-
Publicado: (1989)

The art of Prolog : advanced programming techniques
por: Sterling, Leon
Publicado: (1994)

The Transparent Prolog machine : visualizing logic problems
por: Eisenstadt, Marc, 1947-
Publicado: (1991)

Logic as a human instrument
por: Parker, Francis
Publicado: (1959)

Introducción a la lógica y al método científico /
por: Cohen, Morris Raphael, 1880-1947
Publicado: (1968)

An introduction to logic,
por: Cohen, Morris Raphael, 1880-1947
Publicado: (1962)

Methods of logic
por: Quine, W. V. (Willard Van Orman)
Publicado: (1952)

Methods of logic
por: Quine, W. V. (Willard Van Orman)
Publicado: (1962)

Prolog : the standard ; reference manual
por: Deransart, Pierre
Publicado: (1996)

Prolog programming for students : with expert systems and artificial intelligence topics
por: Callear, David
Publicado: (1994)

Logical thinking
por: Purtill, Richard L., 1931-
Publicado: (1972)

Essays in logic : from Aristotle to Ruseell
Publicado: (1963)

Logic without metaphysics : and other essays in the philosophy of science
por: Nagel, Ernest, 1901-1985
Publicado: (1956)

Introduction to logic /
por: Copi, Irving M.
Publicado: (1982)

Introducción a la lógica /
por: Copi, Irving M.
Publicado: (1999)

Introducción a la lógica
por: Copi, Irving M.
Publicado: (1978)

Cannot write session to /tmp/vufind_sessions/sess_i2l5bk2t1jgioc1qh6iop369ec