สหบรรณานุกรมห้องสมุดสถาบันอุดมศึกษาไทย

Found: 21 ชื่อเรื่อง เรียงลำดับโดย: แสดง: ต่อหน้า

List(0)

Select Page | Deselect Page |

ส่งออก | เคลียร์

1

ประเภทสื่อ	Book
ชื่อเรื่อง	Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9...
ชื่อผู้แต่ง	FLOPS 2001 (2001 : Tokyo, Japan)
พิมพลักษณ์	New York : Springer, 2001.
เลขเรียก	005.114 F631F
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

2

ประเภทสื่อ	Book
ชื่อเรื่อง	Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September ...
ชื่อผู้แต่ง	FLOPS (6th : 2002 : Aizu Daigaku, Japan)
พิมพลักษณ์	Berlin : Springer, c2002.
เลขเรียก	QA76.62 FUJ 2002,005.114 F631F 2002
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าธนบุรี

3

ประเภทสื่อ	Book
ชื่อเรื่อง	Functional and logic programming : 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9,...
ชื่อผู้แต่ง	FLOPS 2004 (2004 : Nara, Japan)
พิมพลักษณ์	Berlin : Springer, c2004.
เลขเรียก	005.114 F631F 2004
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

4

ประเภทสื่อ	Book
ชื่อเรื่อง	Inductive logic programming : 10th International Conference, ILP 2000, London, UK, July 2000 : proc...
ชื่อผู้แต่ง	ILP 2000 (2000 ; London, English)
พิมพลักษณ์	Berlin : Springer, 2000.
เลขเรียก	005.115 I29I
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

5

ประเภทสื่อ	Book
ชื่อเรื่อง	Inductive logic programming : 11th international conference, ILP 2001, Strasbourg, France, Septembe...
ชื่อผู้แต่ง	ILP 2001 (2001 : Strasbourg, France)
พิมพลักษณ์	Berlin : Springer-Verlag, c2001.
เลขเรียก	005.115 I29I 2001
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

6

ประเภทสื่อ	Book
ชื่อเรื่อง	Inductive logic programming : 12th International Conference, ILP 2002, Sydney, Australia, July 9-11...
ชื่อผู้แต่ง	ILP 2002 (2002 : Sydney, N.S.W.)
พิมพลักษณ์	Berlin : Springer, c2002.
เลขเรียก	005.115 I29I 2002
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

7

ประเภทสื่อ	Book
ชื่อเรื่อง	Inductive logic programming : 13th International Conference, ILP 2003, Szeged, Hungary, September 2...
ชื่อผู้แต่ง	ILP 2003 (2003 : Szeged, Hungary)
พิมพลักษณ์	Berlin : Springer, c2003.
เลขเรียก	005.115 I29I 2003
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

8

ประเภทสื่อ	Book
ชื่อเรื่อง	Inductive logic programming : 14th International Conference, ILP 2004, Porto, Portugal, September 6...
ชื่อผู้แต่ง	ILP 2004 (2004 : Porto, Portugal)
พิมพลักษณ์	Berlin : Springer, c2004.
เลขเรียก	005.115 I29I 2004
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

9

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic based program synthesis and transformation international workshop, LOPSTER 2000, London, UK,...
ชื่อผู้แต่ง	LOPSTR 2000 (2000 : London, England)
พิมพลักษณ์	Berlin : Springer, 2001.
เลขเรียก	005.115 L864L
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

10

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos...
ชื่อผู้แต่ง	International Workshop on Logic Program Synthesis and Transformation (11th : 2001 : Paphos, Cyprus)
พิมพลักษณ์	Berlin : Springer, c2002.
เลขเรียก	005.15 I61L
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

11

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic based program synthesis and transformation : 13th International Symposium, LOPSTR 2003, Uppsa...
ชื่อผู้แต่ง	International workshop on logic program synthesis and transformation (13th : 2002 : Uppsala, Sweden)
พิมพลักษณ์	Berlin : Springer, c2004.
เลขเรียก	005.15 I61L 2003
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

12

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic based program synthesis and transportation : 12th International Workshop, LOPSTR 2002, Madrid...
ชื่อผู้แต่ง	International Workshop on Logic Program Synthesis and Transformation (12th : 2002 Madrid, Spain)
พิมพลักษณ์	Berlin : Springer, c2003.
เลขเรียก	005.15 I61L 2002
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

13

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Is...
ชื่อผู้แต่ง	LPAR 2000 (2000 : Reunion)
พิมพลักษณ์	Berlin : Springer Verlag, 2000.
เลขเรียก	005.115 L925L
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

14

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic for programming artificial intelligence and reasoning : 10th international conference, LPAR 2...
ชื่อผู้แต่ง	LPAR (10th : 2003 : Almaty Kazakhstan)
พิมพลักษณ์	Berlin : Springer, c2003.
เลขเรียก	006.3 L925L 2003
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

15

ประเภทสื่อ	Book
ชื่อเรื่อง	Logic for programming, artificial intelligence, and reasoning : 8th International Conference, LPAR ...
ชื่อผู้แต่ง	LPAR 2001 (8th : 2001 : Havana, Cuba)
พิมพลักษณ์	Berlin : Springer, c2001.
เลขเรียก	006.3 L925L
ห้องสมุด	จุฬาลงกรณ์มหาวิทยาลัย

1
2

ส่งข้อเสนอแนะ/ปัญหา