Cargando…

Logic for problem solving /

Detalles Bibliográficos
Autor principal:	Kowalski, Robert
Formato:	Libro
Lenguaje:	English
Publicado:	New York : Elsevier North Holland, c1979.
Colección:	Artificial intelligence series The Computer science library
Materias:	Solución de problemas. Programas para computadoras. Lógica matemática.

Ejemplares similares

Mathematics as problem solving /
por: Soifer, Alexander
Publicado: (2009)

Techniques of problem solving
por: Krantz, Steven G. (Steven George), 1951-
Publicado: (1997)

Problem-solving strategies
por: Engel, David (Profesor)

The art of problem posing /
por: Brown, Stephen I.
Publicado: (2005)

Mathematical problem solving : Yearbook 2009 /
Publicado: (2009)

How to solve it : modern heuristics
por: Michalewicz, Zbigniew
Publicado: (2004)

Resolver problemas : estrategias : unidades para desarrollar el razonamiento matemático /
por: Stacey, Kaye, 1948-
Publicado: (1999)

Structured programming and problem-solving with PASCAL
por: Kieburtz, Richard B., 1933-
Publicado: (1978)

The psychology of problem solving /
Publicado: (2003)

Problem solving 101 : a simple book for smart people /
por: Watanabe, Ken
Publicado: (2009)

How to solve mathematical problems /
por: Wickelgren, Wayne A., 1938-
Publicado: (1995)

Philosophical problems of many-valuet logic
por: Zinov'ev A A
Publicado: (1963)

Problem solving : a statistician's guide /
por: Chatfield, Christopher
Publicado: (1995)

Problem solving : a statistician's guide /
por: Chatfield, Christopher
Publicado: (1988)

Logic with trees : an introduction to symbolic logic /
por: Howson, Colin
Publicado: (1997)

Intermediate logic
por: Bostock, David
Publicado: (1997)

The limits of logic : higher-order logic and the Löwenheim-Skolem theorem /
Publicado: (1996)

Problem solving : research, method, and theory
Publicado: (1966)

What is mathematical logic
Publicado: (1990)

First-order logic /
por: Smullyan, Raymond M.
Publicado: (1995)

Handbook of mathematical logic
Publicado: (1977)

Course of mathematical logic
por: Fraíssé, Roland
Publicado: (1974)

First order mathematical logic /
por: Margaris, Angelo
Publicado: (1990)

Popular lectures on mathematical logic
por: Wang, Hao, 1921-
Publicado: (1993)

Tern logic with choice operator
por: Hermes, Hans
Publicado: (1970)

Quality problem solving
por: Smith, Gerald F., 1947-
Publicado: (1998)

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

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

An outline of mathematical logic : fundamental results and notions explained with all details
por: Grzegorczyk, Andrzej
Publicado: (1974)

Problem-solving methods in artificial intelligence
por: Nilsson, Nils J., 1933-
Publicado: (1971)

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

Logic, sets, and recursion
por: Causey, Robert L.
Publicado: (2006)

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

Learning to solve problems : a handbook for designing problem-solving learning environments /
por: Jonassen, David H., 1947-
Publicado: (2011)

Logic for mathematicians
por: Hamilton, A. G., 1943-
Publicado: (1988)

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

Logic ; Techniques of formal reasoning
por: Kalish, Donald
Publicado: (1964)

Mathematical logic and the foundations of mathematics : an introductory survey /
por: Kneebone, G. T.
Publicado: (1963)

Introduction to mathematical logic
por: Mendelson, Elliott
Publicado: (1997)

Foundations of mathematical logic
por: Curry, Haskell B. 1900-1982 (Haskell Brooks)
Publicado: (1977)

Cannot write session to /tmp/vufind_sessions/sess_q4mnmodbavohco1gp6khfekpek