|
|
41. |
|
Proof technology and computation
Publication:
Amsterdam ; | Washington, DC : IOS Press, 2006
. 1 online resource.
, "Proceedings of the NATO Advanced Study Institute on Proof Technology and Computation, Marktoberdorf, Germany, 29 July-10 August 2003"--T.p. verso. | "Published in cooperation with NATO Public Diplomacy Division."
Date:2006
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
|
42. |
|
Knowledge-based software engineering
Publication:
Amsterdam ; | Washington, DC : IOS Press, 2006
. 1 online resource.
Date:2006
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
|
43. |
|
Rationalizing medical work
by Berg, Marc.
Publication:
Cambridge, Mass. : MIT Press, 1997
. 1 online resource (x, 238 p.) :
Date:1997
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
|
44. |
|
Cognitive carpentry
by Pollock, John L.
Publication:
Cambridge, Mass. : MIT Press, 1995
. 1 online resource (xiii, 377 pages) :
, "A Bradford book."
Date:1995
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
|
45. |
|
Participating in explanatory dialogues
by Moore, Johanna D.
Publication:
Cambridge, Mass. : MIT Press, 1995
. 1 online resource (xiv, 352 p.) :
, "A Bradford book."
Date:1995
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
|
46. |
|
Foundations of neural networks, fuzzy systems, and knowledge engineering
by Kasabov, Nikola K.
Publication:
Cambridge, Mass. : MIT Press, 1996
. 1 online resource (xvi, 550 p.) :
, "A Bradford book."
Date:1996
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
|
47. |
|
Natural and artificial minds
Publication:
Albany : State University of New York Press, 1993
. 1 online resource (vii, 245 p.)
Date:1993
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
|
48. |
|
The description logic handbook
Publication:
Cambridge, UK ; | New York : Cambridge University Press, 2003
. 1 online resource (xvii, 555 p.) :
Date:2003
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
|
49. |
|
Fuzzy expert systems and fuzzy reasoning
by Siler, William.
Publication:
Hoboken, N.J. : Wiley-Interscience, 2005
. 1 online resource (xvi, 405 p.) :
Date:2005
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
|
50. |
|
Wavelet theory and its application to pattern recognition
Publication:
Singapore ; | River Edge, N.J. : World Scientific, 2000
. 1 online resource (xiv, 344 p.) :
Date:2000
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
|
51. |
|
Knowledge-based software engineering
Publication:
Amsterdam : IOS Press, 2008
. 1 online resource (xiv, 546 p.) :
Date:2008
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
|
52. |
|
Systems, experts, and computers
Publication:
Cambridge, Mass. : MIT Press, 2000
. 1 online resource (vi, 513 pages) :
Date:2000
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
|
53. |
|
Knowledge in action
by Reiter, Raymond.
Publication:
Cambridge, Mass. : MIT Press, 2001
. 1 online resource (xvi, 424 pages) :
Date:2001
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
|
54. |
|
Qualitative methods for reasoning under uncertainty
by Parsons, Simon.
Publication:
Cambridge, Mass. : MIT Press, 2001
. 1 online resource (xviii, 506 p.) :
Date:2001
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
|
55. |
|
Data mining in time series databases
Publication:
New Jersey ; | London : World Scientific, 2004
. 1 online resource (xi, 192 p.) :
Date:2004
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
|
56. |
|
Knowledge representation, reasoning, and declarative problem solving
by Baral, Chitta.
Publication:
Cambridge ; | New York : Cambridge University Press, 2003
. 1 online resource (xiv, 530 p.) :
Date:2003
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
|
57. |
|
The knowledge grid
by Zhuge, Hai.
Publication:
Singapore ; | Hackensack, N.J. : World Scientific, 2004
. 1 online resource (xiii, 264 p.) :
Date:2004
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
|
58. |
|
Information modelling and knowledge bases XVIII
Publication:
Amsterdam : IOS Press, 2007
. 1 online resource (321 p.)
Date:2007
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
|
59. |
|
Knowledge-based neurocomputing
Publication:
Cambridge, Mass. : MIT Press, 2000
. 1 online resource (xiv, 486 p.) :
Date:2000
Availability:
No items available:
Actions:
Add to cart (remove)
|
|
|
60. |
|
Managing knowledge
by Albert, Steven.
Publication:
Cambridge, U.K. ; | New York : Cambridge University Press, 1997
. 1 online resource (xi, 215 p.) :
Date:1997
Availability:
No items available:
Actions:
Add to cart (remove)
|
|