Follow us on

Search

From logic design to logic programming : theorem proving techniques and P-functions

Snyers, Dominique

From logic design to logic programming : theorem proving techniques and P-functions

Information

You can find it in

Category

Testo

Nature

Monografia

Title

From logic design to logic programming : theorem proving techniques and P-functions

Names

[Autore] Snyers, Dominique
[Autore] Thayse, Andr

Dewey class

511.3 LOGICA SIMBOLICA (LOGICA MATEMATICA)

Description

From logic design to logic programming : theorem proving techniques and P-functions / Dominique Snyers, Andre Thayse

Physical description

iv, 125 p ; 25 cm

Standard numbers

ISBN: 0387182179
ISBN: 3540182179

Date

c1987

Place of publication

Berlin <etc.>

Village

GERMANIA

Tongue

INGLESE

Source

Biblioteche SBN Sardegna

ID

IT\ICCU\PUV\0227922

Resources links

http://id.sbn.it/bid/PUV0227922

Tag

Images

Programming Google app engine

Programming Google app engine

Year : 2013

Programming Google app engine

Programming Google app engine

Year : 2013

Results 2 of 21653

Texts

First-order logic and automated theorem proving

First-order logic and automated theorem proving

Author : Fitting, Melvin

Year : 1996

Logic programming and automated reasoning : international conference LPAR '92

Logic programming and automated reasoning : international conference LPAR '92

Author : International conference on logic programming and automated reasoning <3. ; 1992

Year : 1992

Results 2 of 2185209

Video

Mediaeval researches from eastern asiatic sources : fragments towards the knowledge of the geography and history of Central and Western Asia from the 13. to the 17. century

Mediaeval researches from eastern asiatic sources : fragments towards the knowledge of the geography and history of Central and Western Asia from the 13. to the 17. century

Author : Bretschneider, Emilii Vasilevich

Year : 1967

Midnight movies : from the margin to the mainstream

Midnight movies : from the margin to the mainstream

Year : 2007

Results 2 of 69490

Audio

The Canticle of the Sun : from the Cradle to the Grave, Motets and Romances

The Canticle of the Sun : from the Cradle to the Grave, Motets and Romances

Author : Liszt, Franz

Year : 1993

English madrigals and songs : [from Henry VIII to the 20th century!

English madrigals and songs : [from Henry VIII to the 20th century!

Year : 1996

Results 2 of 23789

Comments

Write a comment

Send