Search Result
Save to File
Your search for
36716
returns
2493
document(s)
Logic for problem solving
Author: Kowalski, Robert; | Call Number: 519.7 Kow i | Type: Buku Pusat
Find Similar
|
Add To Favorites
|
Detail in New Window
Answer set solving in practice
Call Number: 006.3 Ans | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Problem solving with ADA/ Brian Mayoh
Author: Mayoh, Brian; | Call Number: 005.133 May p | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Human problem solving
Author: Newell, Allen; | Call Number: 006.3 New h | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Thinking problem solving cognition
Author: Mayer, Richard E.; | Call Number: 153.42 May t | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Problem solving and computer programming
Author: Grogono, Peter; | Call Number: 519.4 Gro p | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Logic for problem solving
Author: Kowalski, Robert; | Call Number: 519.7 Kow l | Type: Buku
Find Similar
|
Add To Favorites
|
Detail in New Window
Lookahead saturation with restriction for sat, (LNCS-Lecture Notes in Computer Science 3709) Hal 727-731
Author: Anbulagan; John Slaney; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Neighbourhood clause weight redistribution in local search for sat, (LNCS-Lecture Notes in Computer Science 3709) Hal 772-776
Author: Abdelraouf Ishtaiwi; John Thornton; Abdul Sattar; Duc Nghia Pham; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Local consistency in weighted CSPs and inference in max-sat, (LNCS-Lecture Notes in Computer Science 3709) Hal 849
Author: Federico Heras; Javier Larrosa; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
Find Similar
|
Add To Favorites
|
Detail in New Window
Prev
12
13
14
15
16
17
18
19
20
21
Next