UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

KU Leuven (1)

UAntwerpen (1)

VUB (1)

Resource type

book (1)

Language

English (1)

Year

From To

1988 (1)

Listing 1 - 1 of 1
Sort by

Logic with Prolog
Author: Gibbins, Peter
ISBN: 0198596596 Year: 1988 Publisher: Oxford Oxford university press

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Programming --- Mathematical logic --- 510.62 --- Logical languages. Logico-object languages --- 510.62 Logical languages. Logico-object languages --- Logic programming --- Prolog (Computer program language) --- Computer programming

Listing 1 - 1 of 1
Sort by