Logic for problem solving /

Código QR

Logic for problem solving /

Detalles Bibliográficos
Autor principal:	Kowalski, Robert (Autor, Autor/a)
Formato:	Libro
Lenguaje:	English
Publicado:	New York, New York : North Holland, c1979.
Colección:	Artificial intelligence series ; 7)
Materias:	LOGICA, SIMBOLICA Y MATEMATICA PROGRAMACION (COMPUTADORAS ELECTRONICAS DIGITALES) PROBABILIDADES > PROCESAMIENTO DE DATOS

Ejemplares similares

Computers and problem solving /
por: Hull, T. E., et al.
Publicado: (1970)

N-Prolog and equivalence of logic programs /
por: Olivetti, Nicola, et al.
Publicado: (1992)

Studies in logic and probability
por: Boole, George 1815-1864, et al.
Publicado: (1953)

The logical problem of induction /
por: Wright, George Henrik Von 1916-2003, et al.
Publicado: (1957)

Studies in inductive logic and probability : by Rudolf Carnap and Richard C. Jeffrey
por: Carnap, Rudolf 1891 - 1970, et al.
Publicado: (1971)

A concise introduction to mathematical logic /
por: Rautenberg, Wolfgang 1936-2011
Publicado: (2010)

An introduction to probability and inductive logic /
por: Hacking, Ian, 1936- ,
Publicado: (2001)

Mathematical logic
por: Shoenfield, Joseph Robert 1927-, et al.
Publicado: (1967)

Uma automacao de logica temporal /
por: Souza, Luiz Fernando Pereira de, et al.
Publicado: (1992)

Logic and computer science : lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, june 20-28, 1988 /
por: Homer, S., et al.
Publicado: (1964)

A new approach to logic
por: Katz, Robert 1922-, et al.
Publicado: (1964)

How to solve problems : elements of a theory of problems and problem solving /
por: Wickelgren, Wayne A. 1938-
Publicado: (1974)

Lectures on infinitary logic and logics of programs /
por: Rasiowa, Helena, et al.
Publicado: (1974)

Symbolic logic : and, the game of logic
por: Carroll, Lewis 1832-1898
Publicado: (1968)

An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities /
por: Boole, George
Publicado: (1958)

Logic and algorithms : with applications to the computer and information sciences. /
por: Korfhage, Robert R., et al.
Publicado: (1967)

Set theory and logic
por: Stoll, Robert R.
Publicado: (1963)

Foundations of the logical theory of scientific knowledge (complex logic) /
por: Zinoviev, Aleksandr 1922-, et al.
Publicado: (1973)

Symbolic logic /
por: Copi, Irving M., et al.
Publicado: (1979)

Symbolic logic /
por: Copi, Irving M., et al.
Publicado: (1979)

Mathematical logic
por: Monk, James Donald 1930-, et al.
Publicado: (1976)

Introduction to logic
por: Suppes, Patrick Colonel 1922-, et al.
Publicado: (1960)

Logic for mathematicians
por: Rosser, John Barkley n. 1907, et al.
Publicado: (1953)

Mathematical logic /
por: Quine, Willard Van Orman, et al.
Publicado: (1951)

Mathematical logic /
por: Quine, Willard Van Orman, et al.
Publicado: (1981)

Elementary logic
por: Mates, Benson 1919-, et al.
Publicado: (1965)

Symbolic logic /
por: Copi, Irving M., et al.
Publicado: (1954)

Symbolic logic
por: Copi, Irving M., et al.
Publicado: (1961)

Symbolic logic
por: Copi, Irving M., et al.
Publicado: (1965)

Mathematical logic
por: Klenne, Stephen Cole
Publicado: (1967)

Logic for mathematicians
por: Rosser, J. Barkley
Publicado: (1953)

Introduction to logic
por: Suppes, Patrick
Publicado: (1957)

Elements of logic and foundations of mathematics in problems /
por: Marek, Wiktor, et al.
Publicado: (1982)

Symbolic logic /
por: Lewis, Clarence Irving n. 1883, et al.
Publicado: (1959)

Symbolic logic : an introduction
por: Thomason, Richmond H, et al.
Publicado: (1970)

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
Publicado: (1964)

An Introduction to algebraic logic
por: Kiss, Stephen Anthony n. 1890, et al.
Publicado: (1961)

Introduction to mathematical logic /
por: Mendelson, Elliott 1931-2020, et al.
Publicado: (1964)

Introduction to mathematical logic /
por: Church, Alonzo n. 1903, et al.
Publicado: (1956)

Selected works in logic /
por: Skolem, Thoralf A. 1887-1967, et al.
Publicado: (1970)