Search Result

Save to File Save as CSV

Your search for 24983 returns 1161 document(s)

Artificial intelligence: structures and strategies for complex problem solving 3rd ed.

Author: Luger, George F.; | Call Number: 006.3 Lug a | Type: Buku

Elements of the theory of computation

Author: Lewis, Harry R.; | Call Number: 511 Lew e | Type: Buku

Logic and data bases/edied by Herber Gallaire

Call Number: 005.74 Log | Type: Buku

Foundations of inductive reasoning/ Ronald Christensen

Author: Christensen, Ronald; | Call Number: 006.3 Chr f | Type: Buku

Logic for problem solving

Author: Kowalski, Robert; | Call Number: 519.7 Kow l | Type: Buku

Formal logic: its scope and limits/ Richard Jeffrey

Author: Jeffrey, Richard; | Call Number: 160 Jef f | Type: Buku

Artificial intelligence: an MIT perspective : vol. 1. expert problem solving natural language understanding intelligent computer coaches representation and learning

Call Number: 006.3 Art | Type: Buku

Artificial Intelligence

Call Number: [7 (1976): 3, 12 (1979): 1-3, 13 (1980): 1-2, 14 (1980): 3, 15 (1980): 3, 16/17 (1981): 1-3, 18/19 (1982): 1-3, 20 (1983): 1-4, 21 (1983): 1,2, 21 (1983): 3-4, 22 (1984): 1-3, 22 (1984): 1-3, 25 (1985): 1-3, 26 (1985): 1-2, 26 (1985): 3, 28 (1986): 1-3, 29 (1986): 1-3, 29 (1986): 1-3, 30 (1986): 1-3, 31 (1987): 1-3, 32 (1987): 1-3, 36 (1988): 1-3, 38 (1989): 1-3, 39 ( 1989): 3, 40 (1989): 1-3, 60 (1993): 1, 67 (1994): 2, 75 (1995): 2, 81 (1996): 1-2, 83 (1996): 1-2] | Type: Jurnal/ Majalah

Understanding formal methods

Author: Monin, Jean-Francois; | Call Number: 005.131 Mon u | Type: Buku

Mathematical logic

Author: Kleene, Stephen Cole; | Call Number: 511.3 Kle m | Type: Buku

Prev 10 11 12 13 14 15 16 17 18 19 Next