UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

ULiège (2)

KU Leuven (1)

UCLouvain (1)

UGent (1)

Resource type

book (3)

Language

English (3)

Year

From To

1992 (1)

1989 (2)

Listing 1 - 3 of 3
Sort by

Logic programming : proceedings of the North American conference, 1989
Authors: Lusk, Ewing L. --- Overbeek, Ross A.
ISBN: 0262620642 9780262620642 Year: 1989 Publisher: Cambridge (Mass.): MIT 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 --- Congresses --- -Computer programming --- Congresses. --- -Congresses --- Programmation logique --- Congrès --- Logic programming - Congresses

Book

Automated reasoning : introduction and applications
Authors: Wos, Larry --- Overbeek, Ross A. --- Lusk, Ewing
ISBN: 007911251X Year: 1992 Publisher: New York : McGraw-Hill,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Automatic theorem proving

Book

Logic programming : proceedings of the north american conference 1989 : [held in Celveland, Ohio, USA on October 16-20, 1989]
Authors: Lusk, Ewing --- Overbeek, Ross A. --- North american conference on logic programming :
Year: 1989 Publisher: Cambridge (MA) London : MIT Press,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Listing 1 - 3 of 3
Sort by