Logic for problem solving

Logic for problem solving

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Kowalski, Robert
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	New York ; Amsterdam ; Oxford : North-Holland, 1979
Σειρά:	Artificial intelligence series ; ; 7 Computer science library
Θέματα:	Problem solving. Computer programming. Logic, Symbolic and mathematical.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Medical problem solving :
από: Elstein, Arthur S.
Δημοσίευση: (1978)

Problem solving and programming concepts
από: Sprankle, Maureen
Δημοσίευση: (2001)

Problem solving :
από: Chatfield, Christopher
Δημοσίευση: (1995)

Problem solving :
από: Chatfield, Christopher
Δημοσίευση: (1988)

Solving mathematical problems :
από: Tao, Terence 1975-
Δημοσίευση: (2006)

Problem solving :
από: Etter, D. M.
Δημοσίευση: (1984)

Problem-solving through problems
από: Larson, Loren C., 1937-
Δημοσίευση: (1983)

Problem-solving strategies
από: Engel, Arthur
Δημοσίευση: (1998)

The art of problem solving :
από: Ackoff, Russell Lincoln, 1919-2009
Δημοσίευση: (1978)

Problem solving using Pascal :
από: Skvarcius, Romualdas
Δημοσίευση: (1984)

Problem solving and computer programming
από: Grogono, Peter
Δημοσίευση: (1982)

How to solve mathematical problems
από: Wickelgren, Wayne A. 1938-
Δημοσίευση: (1995)

Children solving problems
από: Thornton, Stephanie 1952-
Δημοσίευση: (1995)

The logic of programming
από: Hehner, Eric C. R.
Δημοσίευση: (1984)

Temporal logic :
από: Gabbay, Dov M. 1945-
Δημοσίευση: (1994)

Temporal logic :
Δημοσίευση: (1994)

Logic for applications
από: Nerode, Anil, 1932-
Δημοσίευση: (1993)

Problem solving and structured programming in WATFIV
από: Friedman, Frank L.
Δημοσίευση: (1982)

Temporal logic of programs
από: Kroger, Fred
Δημοσίευση: (1987)

Task variables in mathematical problem solving
Δημοσίευση: (1984)

Logic for computer scientists
από: Schoning, Uwe 1955-
Δημοσίευση: (1989)

Solution manual for problem solving using Pascal :
από: Skvarcius, Romualdas
Δημοσίευση: (1984)

How to solve it by computer
από: Dromey, R. G. 1946-
Δημοσίευση: (1982)

Logic and structured design :
από: Rood, Harold J.
Δημοσίευση: (2001)

Reasoning and problem solving :
από: Krulik, Stephen
Δημοσίευση: (1993)

Handbook of logic in artificial intelligence and logic programming
Δημοσίευση: (1993)

The role of language in problem solving 2 :
Δημοσίευση: (1987)

Mathematical problem solving and new information technologies :
Δημοσίευση: (1992)

Logic
από: Hodges, Wilfrid
Δημοσίευση: (2001)

Problem-solving :
από: Vidal, Florence
Δημοσίευση: (1971)

How to solve it :
από: Michalewicz, Zbigniew
Δημοσίευση: (2004)

Communication problem solving :
από: McCall, J. B.
Δημοσίευση: (1990)

Schemas in problem solving
από: Marshall, Sandra P.
Δημοσίευση: (1995)

Learning to solve problems :
από: Jonassen, David H. 1947-
Δημοσίευση: (2004)

Children solve problems
από: De Bono, Edward 1933-
Δημοσίευση: (1972)

Introduction to logical theory
από: Strawson, P. F.
Δημοσίευση: (1963)

Teaching and learning mathematical problem solving :
Δημοσίευση: (1985)

Logic at work :
Δημοσίευση: (1999)

Problem solving for information processing
από: Sprankle, Maureen
Δημοσίευση: (2002)

A problem solving approach to mathematics for elementary school teachers
από: Billstein, Rick
Δημοσίευση: (1987)