UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

KU Leuven (618)

ULiège (481)

ULB (296)

UCLouvain (278)

UGent (258)

Odisee (193)

Thomas More Mechelen (193)

VIVES (193)

Thomas More Kempen (190)

UCLL (182)
More...

Resource type

book (730)

periodical (15)

dissertation (9)

Language

English (735)

French (6)

Undetermined (5)

Dutch (2)

Year

From To

2024 (11)

2023 (18)

2022 (8)

2021 (9)

2020 (15)
More...

Listing 1 - 10 of 748 << page
of 75
>>
Sort by

Book

Introduction to logic programming
Authors: Genesereth, Michael R --- Chaudhri, Vinay K
ISBN: 9781681737225 1681737221 9781681737232 9781681737249 Year: 2020 Publisher: [San Rafael, California] Morgan & Claypool

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Logic Programming

Book

Logic programming: formal methods and practical applications
Authors: Beierle, Christoph --- Plümer, Lutz
ISBN: 9780444820921 0444820922 Year: 1995 Publisher: Amsterdam: North-Holland,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Logic Programming

Logic programming : systematic program development
Author: Deville, Yves
ISBN: 0201175762 9780201175769 Year: 1990 Publisher: Reading (Mass.): Addison-Wesley,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Logic Programming

Book

Fourth Annual Symposium On Logic In
Year: 1989 Publisher: [Lieu de publication inconnu]: IEEE Computer science press,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Logic programming

Book

LP'88 : fifth International conference symposium on logic programming, University of Washington, Seattle, Washington, August 15-19, 1988
Author: International conference symposium on logic programming (05th : 1988 : University of Washington, Seattle)
Year: 1988 Publisher: Seattle: [éditeur inconnu],

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Logic programming

Book

Logic-Based program synthesis and transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
Authors: King, Andy --- Springer
ISBN: 9783540787686 3540787682 Year: 2008 Publisher: Berlin Springer

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Logic programming

Book

The logic programming tutor
Author: Paine, Jocelyn
ISBN: 9781871516098 1871516099 Year: 1992 Publisher: Dordrecht: Intellect,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Logic programming

Logic program synthesis from incomplete information : by Pierre Flener
Author: Flener, Pierre
ISBN: 9780792395324 0792395328 Year: 1995 Publisher: Boston, Mass.: Kluwer Academic Publishers,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Logic programming

Logic programming : new frontiers
Author: Brough, Derek R.
ISBN: 1871516250 9781871516258 0792315464 1871516250 9781871516258 9780792315469 Year: 1992 Publisher: Dordrecht : Kluwer,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Logic programming.

Book

summer school on relational data mining.
Authors: Džeroski, Sašo --- Zenko, Bernard
Year: 2002 Publisher: Helsinki s.n.

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Logic programming

Listing 1 - 10 of 748 << page
of 75
>>
Sort by