Knowledge Discovery And Data Mining. Current Issues And New Applications: 4th Pacific-Asia Conference, PAKDD 2000 Kyoto, Japan, April 18-20, 2000 Proceedings

ISBN: 354045571X, 9783540455714
Author/Editor(s): Takao Terano; Huan Liu; Arbee L. P Chen; SpringerLink (Online service)
Publisher: Springer-Verlag Berlin Heidelberg ( Berlin, Heidelberg )
Published/Copyright Year: 2000
Language: English
Series: Lecture Notes In Computer Science ( Volume 1805 )

Theorem Proving In Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings

ISBN: 3540446591, 9783540446590
Author/Editor(s): Mark Aagaard; John Harrison; SpringerLink (Online service)
Publisher: Springer-Verlag Berlin Heidelberg ( Berlin, Heidelberg )
Published/Copyright Year: 2000
Language: English
Series: Lecture Notes In Computer Science ( Volume 1869 )

Machine Learning ECML 2000: 11th European Conference On Machine Learning Barcelona, Catalonia, Spain, May 31 June 2, 2000 Proceedings

ISBN: 3540451641, 9783540451648
Author/Editor(s): Ramon Lopez de Mantaras; Enric Plaza; SpringerLink (Online service)
Publisher: Springer-Verlag Berlin Heidelberg ( Berlin, Heidelberg )
Published/Copyright Year: 2000
Language: English
Series: Lecture Notes In Computer Science. Lecture Notes In Artificial Intelligence ( Volume 1810 )

Recent Advances In Intrusion Detection: Third International Workshop, RAID 2000 Toulouse, France, October 24, 2000 Proceedings

ISBN: 3540399453, 9783540399452
Author/Editor(s): Herve Debar (1961-); Ludovic Me; S. Felix Wu; SpringerLink (Online service)
Publisher: Springer-Verlag Berlin Heidelberg ( Berlin, Heidelberg )
Published/Copyright Year: 2000
Language: English
Series: Lecture Notes In Computer Science ( Volume 1907 )