Narrow your search

Library

KU Leuven (56)

UCLouvain (55)

ULiège (48)

ULB (30)

KBR (24)

UGent (16)

Odisee (6)

Thomas More Kempen (6)

Thomas More Mechelen (6)

UCLL (6)

More...

Resource type

book (68)

periodical (1)


Language

English (68)


Year
From To Submit

2010 (1)

2009 (1)

2007 (2)

2006 (2)

2004 (5)

More...
Listing 1 - 10 of 68 << page
of 7
>>
Sort by

Book
18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings
Author:
ISBN: 0769518842 9780769518848 Year: 2003 Publisher: IEEE

Loading...
Export citation

Choose an application

Bookmark

Abstract

Proceedings 17th Annual IEEE Symposium on Logic in Computer Science
Author:
ISBN: 0769514839 9780769514833 Year: 2002 Publisher: IEEE

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Logic programming and automated reasoning : international conference LPAR LPAR '92, St. Petersburg, Russia, July 15-20, 1992
Author:
Year: 1992 Publisher: Berlin New York Springer-Verlag

Loading...
Export citation

Choose an application

Bookmark

Abstract

Logic programming
Authors: --- ---
ISSN: 10610464 ISBN: 026264035X 9780262291354 9780262640350 0262291355 Year: 1997 Publisher: Cambridge, Massachusetts [Piscataqay, New Jersey] MIT Press IEEE Xplore

Loading...
Export citation

Choose an application

Bookmark

Abstract

"The International Conference on Logic Programming is the main annual conference sponsored by the Association for Logic Programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation nonmonotonic reasoning, and logic programming and the Internet."--BOOK JACKET.

Logic programming
Authors: --- ---
ISSN: 10610464 ISBN: 0262541041 9780262541046 9780262291118 0262291118 Year: 2000 Publisher: Cambridge, Mass [Piscataqay, New Jersey] MIT IEEE Xplore

Loading...
Export citation

Choose an application

Bookmark

Abstract

Includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet.The International Conference on Logic Programming, sponsored by the Association for Logic Programming, includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet.

Logic programming and non-monotonic reasoning
Authors: --- --- --- --- --- et al.
ISBN: 0262640279 9780262291378 9780262660839 0262291371 0262660830 9780262640275 Year: 1991 Publisher: Cambridge, Massachusetts [Piscataqay, New Jersey] MIT Press IEEE Xplore

Loading...
Export citation

Choose an application

Bookmark

Abstract

Logic programming : proceedings of the North American conference, 1989
Authors: ---
ISBN: 0262620642 9780262620642 Year: 1989 Publisher: Cambridge (Mass.): MIT press

Loading...
Export citation

Choose an application

Bookmark

Abstract

Proceedings 16th Annual IEEE Symposium on Logic in Computer Science
Author:
ISBN: 076951281X 9780769512815 Year: 2001 Publisher: IEEE

Loading...
Export citation

Choose an application

Bookmark

Abstract

Logic, algebra and computation
Author:
ISBN: 3540543155 0387543155 9783540543152 9780387543154 3642768016 3642767990 Year: 1991 Volume: 79 Publisher: Berlin : Springer,

Proof and computation
Authors: ---
ISBN: 3540585818 3642793630 3642793614 9783540585817 Year: 1995 Volume: 139 Publisher: Berlin : Springer,

Listing 1 - 10 of 68 << page
of 7
>>
Sort by