UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

KU Leuven (1)

Odisee (1)

Thomas More Kempen (1)

Thomas More Mechelen (1)

UCLL (1)

ULB (1)

ULiège (1)

VIVES (1)

Resource type

book (3)

Language

English (3)

Year

From To

2005 (3)

Listing 1 - 3 of 3
Sort by

Book

Logic programming : 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings
Authors: Gabbrielli, Maurizio. --- Gupta, G. --- International Conference on Logic Programming
Year: 2005 Publisher: Berlin ; New York : Springer,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Software engineering. --- Computer programming. --- Artificial intelligence. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Software Engineering/Programming and Operating Systems. --- Programming Techniques. --- Artificial Intelligence. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Logic programming

Book

Logic programming : 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings
Authors: Gabbrielli, Maurizio. --- Gupta, G. --- International Conference on Logic Programming
Year: 2005 Publisher: Berlin ; New York : Springer,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Software engineering. --- Computer programming. --- Artificial intelligence. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Software Engineering/Programming and Operating Systems. --- Programming Techniques. --- Artificial Intelligence. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Logic programming

Book

Logic programming : 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings
Authors: Gabbrielli, Maurizio. --- Gupta, G. --- International Conference on Logic Programming
Year: 2005 Publisher: Berlin ; New York : Springer,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Software engineering. --- Computer programming. --- Artificial intelligence. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Software Engineering/Programming and Operating Systems. --- Programming Techniques. --- Artificial Intelligence. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Logic programming

Listing 1 - 3 of 3
Sort by