>> Google Books
所蔵情報QRコード

Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning / Ute Schmid

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer, c2003
形態:
xxii, 398 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 2654 . Lecture notes in artificial intelligence <BA00009279>
著者名:
Schmid, Ute  
ISBN:
9783540401742 [3540401741]
書誌ID:
BA63625277
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック Inductive Synthesis of Functional Programs

Schmid, Ute

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
7 図書 Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings

LPAR, Baaz, Matthias, Voronkov, A. (Andreĭ), 1959-

Springer
2 電子ブック Approaches and Applications of Inductive Programming

Schmid, Ute, Kanade, Takeo, Kitzelmann, Emanuel, Plasmeijer, Rinus

Springer eBooks Computer Science, Springer Berlin Heidelberg
8 図書 Logic for programming, artificial intelligence, and reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : …

LPAR, Vardi, Moshe, Voronkov, A. (Andreĭ), 1959-

Springer
3 電子ブック Approaches and Applications of Inductive Programming

Schmid, Ute, Kanade, Takeo, Kitzelmann, Emanuel, Plasmeijer, Rinus, Kittler, Josef

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
9 図書 Logic for programming, aritficial intelligence, and reasoning : 13th International Conference, LPAR 2006 Phnom Penh, Cambodia, November 13-17, 2006 : …

International Conference on Logic for Programming, Aritficial Intelligence, and Reasoning, Hermann, Miki, Voronkov, A. …

Springer
4 図書 Planning and learning by analogical reasoning

Veloso, Manuela M.

Springer-Verlag
10 図書 Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings

LPAR, Baader, Franz, Voronkov, A. (Andreĭ), 1959-

Springer
5 電子ブック Planning and Learning by Analogical Reasoning

Veloso, Manuela M.

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
11 図書 Logic for programming, artificial intelligence, and reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings

LPAR, Sutcliffe, Geoff, Voronkov, A. (Andreĭ), 1959-

Springer
6 図書 Inductive logic programming : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005 : proceedings

ILP, Kramer, Stefan, Prof. Dr, Pfahringer, Bernhard

Springer
12 図書 Functional and logic programming : 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 : proceedings

萩谷, 昌己(1957-), Wadler, Philip, FLOPS

Springer
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12