Cargando…

Techniques of Prolog programming with implementation of logical negation and quantified goals

Detalles Bibliográficos
Autor principal:	Van Le, T.
Formato:	Libro
Lenguaje:	English
Publicado:	New York : Wiley, c1993.
Materias:	Prolog (Lenguaje de programación) Negación (Lógica)

Ejemplares similares

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)

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

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

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

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

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

Prolog
Publicado: (1989)

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

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

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

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

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

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

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

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

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

Aplique Turbo Prolog
por: Robinson, Phillip R.
Publicado: (1987)

The mechanism and freedom of logic
por: Henry, Granville C.
Publicado: (1993)

Prolog programming for artificial intelligence /
por: Bratko, Ivan, 1914-
Publicado: (2001)

Prolog programming for artificial intelligence /
por: Bratko, Ivan, 1914-
Publicado: (2011)

Prolog programming for artificial intelligence /
por: Bratko, Ivan, 1914-
Publicado: (1990)

Natural language processing for Prolog programmers /
por: Covington, Michael A., 1957-
Publicado: (1994)

Turbo prolog : programación avanzada
por: Schildt, Herbert
Publicado: (1989)

Knowledge systems and Prolog : a logical approach to expert systems and natural language processing /
Publicado: (1987)

Logic, programming, and Prolog /
por: Nilsson, Ulf, 1961-
Publicado: (1995)

Artificial intelligence and PROLOG on microcomputers
por: McAllister, J. (John), 1937-
Publicado: (1987)

Being, negation, and logic
por: Toms, Eric
Publicado: (1962)

Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y PROLOG /
por: Ledesma, Luis de
Publicado: (2010)

Knowledge systems through Prolog : an introduction
por: Kim, Steven H.
Publicado: (1991)

Investigaciones lógicas /
por: Frege, Gottlob, 1848-1925
Publicado: (1984)

Meaning and negation
por: Smith, Steven Bradley
Publicado: (1974)

Simply logical : intelligent reasoning by example
por: Flach, Peter A.
Publicado: (1994)

Introduction to logic programming
por: Hogger, Christopher John
Publicado: (1984)

Handbook of logic in artificial intelligence and logic programming /
Publicado: (1993)

The logical basis for computer programming
por: Manna, Zohar
Publicado: (1985)

Logic, logic, and logic
por: Boolos, George
Publicado: (1998)

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

The languages of logic : an introduction to formal logic /
por: Guttenplan, Samuel D.
Publicado: (1997)

The haskell road to logic, maths and programming /
por: Doets, H. C.‏
Publicado: (2012)

Cannot write session to /tmp/vufind_sessions/sess_lrq65f9m6bdnk43h202vj3s7t9