UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

ULiège (1)

Resource type

book (1)

Language

English (1)

Year

From To

1988 (1)

Listing 1 - 1 of 1
Sort by

Book

PX, a computational logic.
Authors: Hayashi, Susumu --- Nakano, Hiroshi
ISBN: 0262081741 Year: 1988 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
Automatic theorem proving. --- Logic, Symbolic and mathematical. --- Artificial intelligence --- Intelligence artificielle --- Automatic theorem proving --- Théorèmes --- Démonstration automatique --- Théorèmes --- Démonstration automatique

Listing 1 - 1 of 1
Sort by