國立高雄大學圖資館 |

Search result for [ subject:"Logic programming"]

128 records (0.031s)· Page 1 of 13 • 1 2 3 4 5 ... 13

1.

Inductive logic programming11th inte...

~
(1998 :)
- Inductive logic programming11th international conference, ILP 2001, Strasbourg, France, September 9-11, 2001 : proceedings /
- by: (1998 :); Rouveirol, Celine.; Sebag, Michele.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer-Verlag,
- Place of Publication: New York :
- Year of Publication: 2001
- ISBN: 9783540425380
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
2.

Logic based program synthesis and tr...

~
(1998 :)
- Logic based program synthesis and transformation10th international workshop, LOPSTER 2000, London, UK, July 24-28, 2000 : selected papers /
- by: (1998 :); Lau, Kung-Kiu.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2001
- ISBN: 9783540421276
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
3.

Logic for programming, artificial in...

~
(1998 :)
- Logic for programming, artificial intelligence, and reasoning8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings /
- by: (1998 :); Nieuwenhuis, Robert.; SpringerLink (Online service); Voronkov, Andrei.
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: Berlin :
- Year of Publication: 2001
- ISBN: 9783540429579
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
4.

Logic programming17th international ...

~
(1998 :)
- Logic programming17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings /
- by: (1998 :); Codognet, Philippe.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2001
- ISBN: 9783540429357
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
5.

Logic based program synthesis and tr...

~
(1998 :)
- Logic based program synthesis and transformation11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers /
- by: (1998 :); Pettorossi, Alberto.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2002
- ISBN: 9783540439158
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
6.

Logic programming18th International ...

~
(1998 :)
- Logic programming18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings /
- by: (1998 :); SpringerLink (Online service); Stuckey, Peter J.
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 2002
- ISBN: 9783540439301
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
7.

Inductive logic programming6th Inter...

~
(1998 :)
- Inductive logic programming6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996 : selected papers /
- by: (1998 :); Muggleton, Stephen.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 1997
- ISBN: 9783540634942
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
8.

Inductive logic programming7th inter...

~
(1998 :)
- Inductive logic programming7th international workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997 : proceedings /
- by: (1998 :); Dzeroski, Saso.; Lavrac Nada.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 1997
- ISBN: 9783540635147
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
9.

Logic program synthesis and transfor...

~
(1998 :)
- Logic program synthesis and transformation6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : proceedings /
- by: (1998 :); Gallagher, John.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 1997
- ISBN: 9783540627180
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)
10.

Inductive logic programming8th inter...

~
(1998 :)
- Inductive logic programming8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings /
- by: (1998 :); Page, David.; SpringerLink (Online service)
- Electronic resources : Monograph/item
- Publisher: Springer,
- Place of Publication: New York :
- Year of Publication: 1998
- ISBN: 9783540647386
- Availability: 1 Copie(s) available | 1 Copie(s) available for loan
- based on 0 review(s)

Bibliographic level:
Material type:
Only with items