Search Result Save to File Save as CSV
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