|
|
1.
|
Nonmonotonic Logics [electronic resource] :Basic Concepts, Results, and Techniques /
by Schlechta, Karl [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
|
2.
|
Computational Learning Theory [electronic resource] :Third European Conference, EuroCOLT '97 Jerusalem, Israel, March 17–19, 1997 Proceedings /
by Ben-David, Shai [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
|
3.
|
Non-Monotonic Extensions of Logic Programming [electronic resource] :Second International Workshop, NMELP '96 Bad Honnef, Germany, September 5–6, 1996 Selected Papers /
by Dix, Jürgen [editor.] | Pereira, Luís Moniz [editor.] | Przymusinski, Teodor C [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
|
4.
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] :International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13–16, 1997 Proceedings /
by Galmiche, Didier [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
|
5.
|
Foundations of Inductive Logic Programming [electronic resource] /
by Nienhuys-Cheng, Shan-Hwei [author.] | Wolf, Roland de [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
|
6.
|
Automated Deduction—CADE-14 [electronic resource] :14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 13–17, 1997 Proceedings /
by McCune, William [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
|
7.
|
Logic Programming And Nonmonotonic Reasoning [electronic resource] :4th International Conference, LPNMR '97 Dagstuhl Castle, Germany, July 28–31, 1997 Proceedings /
by Dix, Jürgen [editor.] | Furbach, Ulrich [editor.] | Nerode, Anil [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
|
8.
|
Algorithmic Learning Theory [electronic resource] :8th International Workshop, ALT '97 Sendai, Japan, October 6–8, 1997 Proceedings /
by Li, Ming [editor.] | Maruoka, Akira [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
|
9.
|
Automated Deduction in Geometry [electronic resource] :International Workshop on Automated Deduction in Geometry Toulouse, France, September 27–29, 1996 Selected Papers /
by Wang, Dongming [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.Online access: Click here to access online Availability: No items available
|
|
|
10.
|
Algorithmic Learning Theory [electronic resource] :10th International Conference, ALT’99 Tokyo, Japan, December 6–8, 1999 Proceedings /
by Watanabe, Osamu [editor.] | Yokomori, Takashi [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available
|
|
|
11.
|
A Tight, Practical Integration of Relations and Functions [electronic resource] /
by Boley, Harold [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available
|
|
|
12.
|
Fuzzy Logic in Artificial Intelligence [electronic resource] :IJCAI’97 Workshop Nagoya, Japan, August 23–24, 1997 Selected and Invited Papers /
by Ralescu, Anca L [editor.] | Shanahan, James G [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available
|
|
|
13.
|
Case-Based Reasoning Research and Development [electronic resource] :Third International Conference on Case-Based Reasoning, ICCBR-99 Seeon Monastery, Germany, July 27-30, 1999 Proceedings /
by Althoff, Klaus-Dieter [editor.] | Bergmann, Ralph [editor.] | Branting, L.Karl [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Online access: Click here to access online Availability: No items available
|
|
|
14.
|
Principles of Data Mining and Knowledge Discovery [electronic resource] :6th European Conference, PKDD 2002 Helsinki, Finland, August 19–23, 2002 Proceedings /
by Elomaa, Tapio [editor.] | Mannila, Heikki [editor.] | Toivonen, Hannu [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Online access: Click here to access online Availability: No items available
|
|
|
15.
|
Machine Learning and Data Mining in Pattern Recognition [electronic resource] :Third International Conference, MLDM 2003 Leipzig, Germany, July 5–7, 2003 Proceedings /
by Perner, Petra [editor.] | Rosenfeld, Azriel [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.Online access: Click here to access online Availability: No items available
|
Cart
