| Your search for 10419 returns 483 document(s) |
| Automation of reasoning 1: classical papers on computational logic 1957-1966 |
|
Author: Siekmann, Jorg; Wrightson, Graham ed.; | Call Number: 006.35 Sie a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computational logic in multi-agent systems: 9th International workshop, CLIMA IX Dresden, Germany, September 2008 revised selected and invited papers |
|
Author: Fisher, Michael; | Call Number: 006.3 Fis c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| IEEE TRANSACTIONS ON COMPUTERS |
|
Call Number: [52(2003): 1-2; 10-12, 18 (1996): 3, 24(1975): 1-4,6, 25 (1976): 1-12, 26 (1977): 1-6, 27 (1978): 7-12, 28 ( 1979): 1-6, 29 (1980): 1-6, 30 (1981): 1-6, 31 (1982): 1-6, 33 (1984): 1-6, 33 (1984): 7-12, 34 (1985): 1-6, 35 (1986): 1-6, 35 (1986): 8-12, 36 (19870: 1-6, 40 (1991): 1-6, 41 (1992): 1-6, 42 (1993): 6-12, 43 (1994): 1-4, 44 (1995): 1-5, 45 (1996): 2-6, 46 (1997): 1-5, 47 (1998): 1-6, 48 (1999): 1-6, 49 (2003): 1,3-4, 52 (2003): 1,2] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| IEEE TRANSACTIONS ON FUZZY SYSTEMS |
|
Call Number: [13(2005): 4-6, 13(2005): 1-3, 14(2006): 1-3, 14(2006): 4-6, 4 (1996): 1-4, 5 (1997): 1-4, 6 (1998): 1-4, 7 (1999): 1-4, 7 (1999): 1-2] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
|
Call Number: [29(2003): 1-2, 8-9, 31(2005): 1-2; 4-6, 31(2005): 7-12, 32(2006): 1-5, 32(2006): 7-12, 2 (1976): 1-4, 5 (1979): 5-6, 6 (1980: 4-6, 7 (1981): 1-2, 4-5, 17 (1991): 7-12, 18 (1992): 1-7, 19 (1993): 1-3, 20 (1994): 1-4, 21 (1995): 1-6, 23 (1997): 1-6, 22 (1998): 7, 24 (1998): 1-6, 24 (1998): 1-6, 25 (1999): 1-3, 26 (2000): 1-3, 29 (2003): 1-2] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| IEEE TRANSACTIONS ON NEURAL NETWORKS |
|
Call Number: [14(2003): 4-6, 14(2003): 1-3, 8 (1997): 1-4, 9 (1998): 1-2, 10 (1999): 1-3, 10 (1999): 1-3, 11 (2000): 1-2, 14 (2003): 1-3] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| WSEAS transactions on computers |
|
Call Number: SEM-324 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| ACM COMMUNICATIONS |
|
Call Number: [46 (2003): 9-10,12
47 (2004): 11, 46 (2003): 4,5,7
, 46 (2003): 1-3
, 46 (2003): 6,9,11
, 48 (2005): 1; 51 (2008): 7, 9 - 12
, 52 (2009): 1-2, 5
, 19 (1976): 1-6
, 38 (1995): 5, 10
39 (1996): 12
40 (1997): 2
53 (2010): 7
, 19 (1976): 1-6, 20 (1977): 1-6, 21 (1977): 7-12, 23(1980): 1-6, 25(1982):1-6, 26(1983): 1-5, 28 (1985): 5-7, 30(1987): 1-6, 31 (1988): 3-5, 32 (1989): 1-3, 33 (1990): 1-4,6, 34 (1991): 1-2,8, 35(1992): 1-3, 35(1992): 1-3, 35(1992): 1-3, 35(1992): 1-3, 35(1992): 1-3, 41(1998): 1-6, 40 (1997): 2, 37 (1994): 1-4, 35(1992): 1-3, 36(1993): 1-4, 39 (1996): 8, 38 (1995): 1, 35(1992): 1-3, 42(1999): 1-2,4, 45 (2002): 4-7, 45 (2002): 1-3, 52 (2009): 6,9,11, 48 (2005): 1] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| ACM Membernet |
|
Call Number: 39 (1996) | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| IEEE TRANSACTIONS ON GEOSCIENCE AND REMOTE SENSING |
|
Call Number: [44(2006): 11-12, 44(2006): 10 part I dan part II, 44(2006): 8-9, 44(2006): 6-7, 44(2006): 4-5, 41(2003): 1-2, 41(2003): 5-6, 41(2003): 3-4, 44(2006): 1-3, 43(2005): 10-12, 44(2006): 1-2 + Suplemen September dan Desember, 35 (1997): 1-3, 36 (1998): 1-3, 37 (1999): 5-6, 41 (2003): 1-2] | Type: Jurnal/ Majalah
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result